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

[ICO]NameLast modifiedSizeDescriptionMetadata

[DIR]Parent Directory  -   
[   ]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-doc_1.7.1-1_all.deb06-Aug-2022 18:46 2.9M  Details
[   ]agda-stdlib-doc_2.1-4_all.deb25-Nov-2024 19:39 3.6M  Details
[   ]agda-stdlib_0.17-1.debian.tar.xz24-Nov-2018 01:07 5.2K  Details
[TXT]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
[TXT]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
[   ]agda-stdlib_1.7.1-1.debian.tar.xz06-Aug-2022 17:10 5.5K  Details
[TXT]agda-stdlib_1.7.1-1.dsc06-Aug-2022 17:10 2.1K  Details
[   ]agda-stdlib_1.7.1-1_all.deb06-Aug-2022 18:46 95M  Details
[   ]agda-stdlib_1.7.1.orig.tar.gz06-Aug-2022 17:10 918K  Details
[   ]agda-stdlib_2.1-4.debian.tar.xz25-Nov-2024 19:03 5.9K  Details
[TXT]agda-stdlib_2.1-4.dsc25-Nov-2024 19:03 2.2K  Details
[   ]agda-stdlib_2.1-4_all.deb25-Nov-2024 19:39 137M  Details
[   ]agda-stdlib_2.1.orig.tar.gz18-Oct-2024 21:34 1.2M  Details

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

MirrorBrain powered by Apache