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

../
agda-stdlib-doc_0.12-2_all.deb                     01-Dec-2023 21:52             1275634
agda-stdlib-doc_0.17-1_all.deb                     24-Nov-2018 09:48             1393968
agda-stdlib-doc_0.8-2_all.deb                      02-Dec-2023 13:30             1234684
agda-stdlib_0.12-2.debian.tar.xz                   01-Dec-2023 21:52                4996
agda-stdlib_0.12-2.dsc                             01-Dec-2023 21:52                2155
agda-stdlib_0.12-2_all.deb                         01-Dec-2023 21:52            17067322
agda-stdlib_0.12.orig.tar.gz                       01-Dec-2023 21:52              254024
agda-stdlib_0.17-1_all.deb                         24-Nov-2018 09:48            33021876
agda-stdlib_0.8-2.debian.tar.xz                    02-Dec-2023 13:30                4524
agda-stdlib_0.8-2.dsc                              02-Dec-2023 13:30                2094
agda-stdlib_0.8-2_all.deb                          02-Dec-2023 13:30            23527642
agda-stdlib_0.8.orig.tar.gz                        02-Dec-2023 13:30              246158