Index of /raspbian/pool/main/a/agda-stdlib

[ICO]NameLast modifiedSizeDescriptionMetadata

[DIR]Parent Directory  -   
[   ]agda-stdlib-doc_0.8-2_all.deb12-Aug-2014 09:40 1.2M  Details
[   ]agda-stdlib-doc_0.12-2_all.deb23-Jun-2016 18:55 1.2M  Details
[   ]agda-stdlib-doc_0.17-1_all.deb24-Nov-2018 01:48 1.3M  Details
[   ]agda-stdlib_0.8-2.debian.tar.xz12-Aug-2014 09:40 4.4K  Details
[   ]agda-stdlib_0.8-2.dsc12-Aug-2014 09:40 2.0K  Details
[   ]agda-stdlib_0.8-2_all.deb12-Aug-2014 09:40 22M  Details
[   ]agda-stdlib_0.8.orig.tar.gz05-Aug-2014 09:28 240K  Details
[   ]agda-stdlib_0.12-2.debian.tar.xz23-Jun-2016 17:53 4.9K  Details
[   ]agda-stdlib_0.12-2.dsc23-Jun-2016 17:53 2.1K  Details
[   ]agda-stdlib_0.12-2_all.deb23-Jun-2016 18:55 16M  Details
[   ]agda-stdlib_0.12.orig.tar.gz20-Jun-2016 08:47 248K  Details
[   ]agda-stdlib_0.17-1.debian.tar.xz24-Nov-2018 01:07 5.2K  Details
[   ]agda-stdlib_0.17-1.dsc24-Nov-2018 01:07 2.2K  Details
[   ]agda-stdlib_0.17-1_all.deb24-Nov-2018 01:48 31M  Details
[   ]agda-stdlib_0.17.orig.tar.gz24-Nov-2018 01:07 388K  Details

Apache/2.4.25 (Debian) Server at mirrordirector.raspbian.org Port 80

MirrorBrain powered by Apache