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


../
agda-stdlib-doc_0.14-1_all.deb                     01-Dec-2017 08:02             1081596
agda-stdlib-doc_0.17-1_all.deb                     29-Nov-2018 04:03             1393968
agda-stdlib_0.14-1.debian.tar.xz                   01-Dec-2017 08:00                5188
agda-stdlib_0.14-1.dsc                             01-Dec-2017 08:00                2100
agda-stdlib_0.14-1_all.deb                         01-Dec-2017 08:02            18172564
agda-stdlib_0.14.orig.tar.gz                       01-Dec-2017 08:00              285379
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            33021876
agda-stdlib_0.17.orig.tar.gz                       29-Nov-2018 03:59              397328