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_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