Index of /packages/a/agda-stdlib/


../
agda-stdlib-0.14-1-i686.pkg.tar.xz                 15-Oct-2017 09:22            18672420
agda-stdlib-0.14-1-i686.pkg.tar.xz.sig             15-Oct-2017 09:22                 566
agda-stdlib-0.14-1-x86_64.pkg.tar.xz               15-Oct-2017 09:23            18675532
agda-stdlib-0.14-1-x86_64.pkg.tar.xz.sig           15-Oct-2017 09:23                 566
agda-stdlib-0.15-1-x86_64.pkg.tar.xz               18-Mar-2018 19:00            20577380
agda-stdlib-0.15-1-x86_64.pkg.tar.xz.sig           18-Mar-2018 19:00                 566