Index of /packages/a/agda-stdlib/


../
agda-stdlib-0.13-1-i686.pkg.tar.xz                 24-Jan-2017 16:40            17424848
agda-stdlib-0.13-1-i686.pkg.tar.xz.sig             24-Jan-2017 16:40                 566
agda-stdlib-0.13-1-x86_64.pkg.tar.xz               24-Jan-2017 16:49            17428448
agda-stdlib-0.13-1-x86_64.pkg.tar.xz.sig           24-Jan-2017 16:49                 566
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