Index of /ubuntu/pool/universe/a/agda-stdlib/

../
agda-stdlib-doc_0.11-1_all.deb                     21-Mar-2025 17:45             1265062
agda-stdlib-doc_0.14-1_all.deb                     21-Mar-2025 17:45             1069008
agda-stdlib-doc_0.6-2_all.deb                      21-Mar-2025 17:45             1696256
agda-stdlib-doc_0.7-2_all.deb                      21-Mar-2025 17:45             1748382
agda-stdlib-doc_1.1-1_all.deb                      21-Mar-2025 17:45             1906288
agda-stdlib-doc_1.3-2_all.deb                      21-Mar-2025 17:45             2447524
agda-stdlib_0.11-1.debian.tar.xz                   21-Mar-2025 17:45                4600
agda-stdlib_0.11-1.dsc                             21-Mar-2025 17:45                2105
agda-stdlib_0.11-1_all.deb                         21-Mar-2025 17:45            17502462
agda-stdlib_0.11.orig.tar.gz                       21-Mar-2025 17:45              253251
agda-stdlib_0.14-1.debian.tar.xz                   21-Mar-2025 17:45                5188
agda-stdlib_0.14-1.dsc                             21-Mar-2025 17:45                2100
agda-stdlib_0.14-1_all.deb                         21-Mar-2025 17:45            18159516
agda-stdlib_0.14.orig.tar.gz                       21-Mar-2025 17:45              285379
agda-stdlib_0.6-2.debian.tar.gz                    21-Mar-2025 17:45                4226
agda-stdlib_0.6-2.dsc                              21-Mar-2025 17:45                1437
agda-stdlib_0.6-2_all.deb                          21-Mar-2025 17:45            16955470
agda-stdlib_0.6.orig.tar.gz                        21-Mar-2025 17:45              216273
agda-stdlib_0.7-2.debian.tar.gz                    21-Mar-2025 17:45                4455
agda-stdlib_0.7-2.dsc                              21-Mar-2025 17:45                2077
agda-stdlib_0.7-2_all.deb                          21-Mar-2025 17:45            18142868
agda-stdlib_0.7.orig.tar.gz                        21-Mar-2025 17:45              226400
agda-stdlib_1.1-1.debian.tar.xz                    21-Mar-2025 17:45                5528
agda-stdlib_1.1-1.dsc                              21-Mar-2025 17:45                2117
agda-stdlib_1.1-1_all.deb                          21-Mar-2025 17:45            47388280
agda-stdlib_1.1.orig.tar.gz                        21-Mar-2025 17:45              570106
agda-stdlib_1.3-2.debian.tar.xz                    21-Mar-2025 17:45                5640
agda-stdlib_1.3-2.dsc                              21-Mar-2025 17:45                2113
agda-stdlib_1.3-2_all.deb                          21-Mar-2025 17:45            73224528
agda-stdlib_1.3.orig.tar.gz                        21-Mar-2025 17:45              751412