Index of ftp://debian.mur.at/debian/pool/main/a/agda-stdlib

[DIR] Parent Directory

[   ] agda-stdlib-doc_0.17-1_all.deb  1.33Mb  November 24 2018
[   ] agda-stdlib-doc_1.3-2_all.deb  2.35Mb  August 1 2020
[   ] agda-stdlib-doc_1.7.1-1_all.deb  2.90Mb  August 6 2022
[   ] agda-stdlib_0.17-1.debian.tar.xz  5.19Kb  November 24 2018
[   ] agda-stdlib_0.17-1.dsc  2.18Kb  November 24 2018
[   ] agda-stdlib_0.17-1_all.deb  31.49Mb  November 24 2018
[ GZ] agda-stdlib_0.17.orig.tar.gz  388.02Kb  November 24 2018
[   ] agda-stdlib_1.3-2.debian.tar.xz  5.51Kb  August 1 2020
[   ] agda-stdlib_1.3-2.dsc  2.06Kb  August 1 2020
[   ] agda-stdlib_1.3-2_all.deb  69.84Mb  August 1 2020
[ GZ] agda-stdlib_1.3.orig.tar.gz  733.80Kb  July 31 2020
[   ] agda-stdlib_1.7.1-1.debian.tar.xz  5.53Kb  August 6 2022
[   ] agda-stdlib_1.7.1-1.dsc  2.11Kb  August 6 2022
[   ] agda-stdlib_1.7.1-1_all.deb  95.41Mb  August 6 2022
[ GZ] agda-stdlib_1.7.1.orig.tar.gz  918.10Kb  August 6 2022