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


../
agda-stdlib-doc_0.17-1_all.deb                     26-Sep-2025 07:24      1M
agda-stdlib-doc_1.3-2_all.deb                      27-Sep-2025 17:26      2M
agda-stdlib-doc_1.7.1-1_all.deb                    27-Sep-2025 09:12      3M
agda-stdlib-doc_2.1-4_all.deb                      26-Sep-2025 19:28      4M
agda-stdlib_0.17-1.debian.tar.xz                   26-Sep-2025 07:24    5312
agda-stdlib_0.17-1.dsc                             26-Sep-2025 07:24    2234
agda-stdlib_0.17-1_all.deb                         26-Sep-2025 07:24     31M
agda-stdlib_0.17.orig.tar.gz                       26-Sep-2025 07:24    388K
agda-stdlib_1.3-2.debian.tar.xz                    27-Sep-2025 17:26    5640
agda-stdlib_1.3-2.dsc                              27-Sep-2025 17:26    2113
agda-stdlib_1.3-2_all.deb                          27-Sep-2025 17:26     70M
agda-stdlib_1.3.orig.tar.gz                        27-Sep-2025 17:26    734K
agda-stdlib_1.7.1-1.debian.tar.xz                  27-Sep-2025 09:12    5664
agda-stdlib_1.7.1-1.dsc                            27-Sep-2025 09:12    2157
agda-stdlib_1.7.1-1_all.deb                        27-Sep-2025 09:12     95M
agda-stdlib_1.7.1.orig.tar.gz                      27-Sep-2025 09:12    918K
agda-stdlib_2.1-4.debian.tar.xz                    26-Sep-2025 19:28    6060
agda-stdlib_2.1-4.dsc                              26-Sep-2025 19:28    2224
agda-stdlib_2.1-4_all.deb                          26-Sep-2025 19:28    137M
agda-stdlib_2.1.orig.tar.gz                        26-Sep-2025 19:28      1M