Index of ftp://bo.mirror.garr.it/1/kali/pool/main/a/agda-stdlib
Parent Directory
agda-stdlib_0.14-1_all.deb
17.33Mb
November 26 2017
[
find mirrors
]
agda-stdlib_0.14-1.debian.tar.xz
5.07Kb
November 26 2017
[
find mirrors
]
agda-stdlib_0.14-1.dsc
2.05Kb
November 26 2017
[
find mirrors
]
agda-stdlib_0.14.orig.tar.gz
278.69Kb
November 26 2017
[
find mirrors
]
agda-stdlib-doc_0.14-1_all.deb
1.03Mb
November 26 2017
[
find mirrors
]
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory![[ ]](/icons/unknown.gif){kind=icon}
agda-stdlib_0.14-1_all.deb agda-stdlib_0.14-1.debian.tar.xz agda-stdlib_0.14-1.dsc![[ GZ]](/icons/compressed.gif){kind=icon}
agda-stdlib_0.14.orig.tar.gz agda-stdlib-doc_0.14-1_all.deb