Register
|
Log in
News for package
agda
[
2015-08-11
]
agda 2.4.0.2-2 migrated to Kali Moto
[
2015-07-21
]
agda 2.4.0.2-2 has been added to Kali Sana
[
2015-07-12
]
agda 2.4.2.2-3 has been added to Kali Devel
[
2015-07-12
]
agda 2.4.2.2-3 has been added to Kali Rolling
[
2015-07-04
]
agda 2.4.2.2-2 migrated to Kali Devel
[
2015-07-04
]
agda 2.4.2.2-2 migrated to Kali Rolling
[
2014-10-22
]
agda 2.4.0.2-2 migrated to Kali Rolling
1
2
