Index of ftp://91.202.27.35/pub/mirrors/ubuntu/pool/universe/a/agda-stdlib
Parent Directory
agda-stdlib_0.3-1ubuntu2_i386.deb
11.49Mb
February 16 2010
[
find mirrors
]
agda-stdlib-doc_0.3-1ubuntu2_all.deb
1.12Mb
February 16 2010
[
find mirrors
]
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory![[ ]](/icons/unknown.gif){kind=icon}
agda-stdlib_0.3-1ubuntu2_i386.deb agda-stdlib-doc_0.3-1ubuntu2_all.deb