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