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

../
agda-stdlib-doc_0.14-1_all.deb                     26-Nov-2017 11:04      1M
agda-stdlib-doc_1.1-1_all.deb                      18-Nov-2020 00:38      2M
agda-stdlib-doc_1.3-2_all.deb                      29-Aug-2022 16:10      2M
agda-stdlib-doc_1.7.3-1_all.deb                    06-May-2024 18:31      3M
agda-stdlib_0.14-1.debian.tar.xz                   08-Sep-2021 01:12    5188
agda-stdlib_0.14-1.dsc                             08-Sep-2021 01:12    2100
agda-stdlib_0.14-1_all.deb                         26-Nov-2017 11:04     17M
agda-stdlib_0.14.orig.tar.gz                       08-Sep-2021 01:12    279K
agda-stdlib_1.1-1.debian.tar.xz                    08-Sep-2021 01:12    5528
agda-stdlib_1.1-1.dsc                              08-Sep-2021 01:12    2117
agda-stdlib_1.1-1_all.deb                          18-Nov-2020 00:38     45M
agda-stdlib_1.1.orig.tar.gz                        08-Sep-2021 01:12    557K
agda-stdlib_1.3-2.debian.tar.xz                    06-Nov-2024 18:16    5640
agda-stdlib_1.3-2.dsc                              06-Nov-2024 18:16    2113
agda-stdlib_1.3-2_all.deb                          29-Aug-2022 16:10     70M
agda-stdlib_1.3.orig.tar.gz                        06-Nov-2024 18:16    734K
agda-stdlib_1.7.3-1.debian.tar.xz                  06-May-2024 18:31    5732
agda-stdlib_1.7.3-1.dsc                            06-May-2024 18:31    2157
agda-stdlib_1.7.3-1_all.deb                        06-May-2024 18:31    115M
agda-stdlib_1.7.3.orig.tar.gz                      06-May-2024 18:31    920K