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

../
agda-stdlib-doc_0.12-2_all.deb                     26-Apr-2023 13:38      1M
agda-stdlib-doc_0.3-3_all.deb                      26-Apr-2023 10:34      1M
agda-stdlib_0.12-2.debian.tar.xz                   26-Apr-2023 13:38    4996
agda-stdlib_0.12-2.dsc                             26-Apr-2023 13:38    2155
agda-stdlib_0.12-2_all.deb                         26-Apr-2023 13:38     16M
agda-stdlib_0.12.orig.tar.gz                       26-Apr-2023 13:38    248K
agda-stdlib_0.3-3.diff.gz                          26-Apr-2023 10:34    3774
agda-stdlib_0.3-3.dsc                              26-Apr-2023 10:34    1276
agda-stdlib_0.3-3_i386.deb                         26-Apr-2023 10:34     12M
agda-stdlib_0.3.orig.tar.gz                        26-Apr-2023 10:34    147K