Index of /ubuntu-testing/pool/main/a/agda-stdlib/

../
agda-stdlib-doc_0.11-1_all.deb                     16-Mar-2016 11:09             1265062
agda-stdlib-doc_0.14-1_all.deb                     02-Oct-2018 09:44             1069008
agda-stdlib-doc_1.1-1_all.deb                      01-Oct-2021 16:44             1906288
agda-stdlib_0.11-1_all.deb                         16-Mar-2016 09:58            17502462
agda-stdlib_0.14-1_all.deb                         02-Oct-2018 09:35            18159516
agda-stdlib_1.1-1_all.deb                          01-Oct-2021 16:47            47388280