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

[ICO]NameLast modifiedSizeDescriptionMetadata

[DIR]Parent Directory  -   
[   ]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-doc_1.3-2_all.deb01-Aug-2020 13:34 2.3M  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
[   ]agda-stdlib_1.3-2.debian.tar.xz01-Aug-2020 12:54 5.5K  Details
[   ]agda-stdlib_1.3-2.dsc01-Aug-2020 12:54 2.1K  Details
[   ]agda-stdlib_1.3-2_all.deb01-Aug-2020 13:34 70M  Details
[   ]agda-stdlib_1.3.orig.tar.gz31-Jul-2020 11:50 734K  Details

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

MirrorBrain powered by Apache