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

../
agda-stdlib-doc_0.11-1_all.deb                     14-Jan-2021 22:38             1265062
agda-stdlib-doc_0.14-1_all.deb                     14-Jan-2021 22:59             1069008
agda-stdlib_0.11-1_all.deb                         14-Jan-2021 22:41            17502462
agda-stdlib_0.14-1_all.deb                         14-Jan-2021 23:06            18159516