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


../
agda-stdlib-doc_0.17-1_all.deb                     29-Nov-2018 04:03      1M
agda-stdlib-doc_1.3-2_all.deb                      09-Feb-2021 08:44      2M
agda-stdlib-doc_1.7.1-1_all.deb                    14-Jun-2023 22:37      3M
agda-stdlib-doc_2.1-3_all.deb                      30-Oct-2024 04:45      4M
agda-stdlib-doc_2.1-4_all.deb                      01-Dec-2024 04:47      4M
agda-stdlib_0.17-1.debian.tar.xz                   29-Nov-2018 03:59    5312
agda-stdlib_0.17-1.dsc                             29-Nov-2018 03:59    2234
agda-stdlib_0.17-1_all.deb                         29-Nov-2018 04:03     31M
agda-stdlib_0.17.orig.tar.gz                       29-Nov-2018 03:59    388K
agda-stdlib_1.3-2.debian.tar.xz                    09-Feb-2021 08:43    5640
agda-stdlib_1.3-2.dsc                              09-Feb-2021 08:43    2113
agda-stdlib_1.3-2_all.deb                          09-Feb-2021 08:44     70M
agda-stdlib_1.3.orig.tar.gz                        09-Feb-2021 08:43    734K
agda-stdlib_1.7.1-1.debian.tar.xz                  14-Jun-2023 14:48    5664
agda-stdlib_1.7.1-1.dsc                            14-Jun-2023 14:48    2157
agda-stdlib_1.7.1-1_all.deb                        14-Jun-2023 22:37     95M
agda-stdlib_1.7.1.orig.tar.gz                      14-Jun-2023 14:48    918K
agda-stdlib_2.1-3.debian.tar.xz                    30-Oct-2024 04:10    6020
agda-stdlib_2.1-3.dsc                              30-Oct-2024 04:10    2224
agda-stdlib_2.1-3_all.deb                          30-Oct-2024 04:45    133M
agda-stdlib_2.1-4.debian.tar.xz                    01-Dec-2024 04:44    6060
agda-stdlib_2.1-4.dsc                              01-Dec-2024 04:44    2224
agda-stdlib_2.1-4_all.deb                          01-Dec-2024 04:47    137M
agda-stdlib_2.1.orig.tar.gz                        30-Oct-2024 04:10      1M