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

../
agda-stdlib-doc_1.3-2_all.deb                      31-Oct-2025 09:03             2460172
agda-stdlib-doc_1.7.1-1_all.deb                    31-Oct-2025 09:03             3039368
agda-stdlib-doc_2.1-4_all.deb                      31-Oct-2025 09:03             3780056
agda-stdlib_1.3-2.debian.tar.xz                    31-Oct-2025 09:03                5640
agda-stdlib_1.3-2.dsc                              31-Oct-2025 09:03                2113
agda-stdlib_1.3-2_all.deb                          31-Oct-2025 09:03            73237088
agda-stdlib_1.3.orig.tar.gz                        31-Oct-2025 09:03              751412
agda-stdlib_1.7.1-1.debian.tar.xz                  31-Oct-2025 09:03                5664
agda-stdlib_1.7.1-1.dsc                            31-Oct-2025 09:03                2157
agda-stdlib_1.7.1-1_all.deb                        31-Oct-2025 09:03           100043028
agda-stdlib_1.7.1.orig.tar.gz                      31-Oct-2025 09:03              940131
agda-stdlib_2.1-4.debian.tar.xz                    31-Oct-2025 09:03                6060
agda-stdlib_2.1-4.dsc                              31-Oct-2025 09:03                2224
agda-stdlib_2.1-4_all.deb                          31-Oct-2025 09:03           143710196
agda-stdlib_2.1.orig.tar.gz                        31-Oct-2025 09:03             1211622