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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda-stdlib_1.1-1_all.deb 473882802019-Sep-06 15:48
agda-stdlib_0.17-1_all.deb 330103962018-Dec-14 11:53
agda-stdlib_0.14-1_all.deb 181595162017-Nov-26 18:04
agda-stdlib_0.7-2_all.deb 181428682013-May-27 23:33
agda-stdlib_0.11-1_all.deb 175024622016-Jan-05 01:20
agda-stdlib_0.6-2_all.deb 169554702012-Mar-18 22:03
agda-stdlib-doc_1.1-1_all.deb 19062882019-Sep-06 15:48
agda-stdlib-doc_0.7-2_all.deb 17483822013-May-27 23:33
agda-stdlib-doc_0.6-2_all.deb 16962562012-Mar-18 22:03
agda-stdlib-doc_0.17-1_all.deb 13824602018-Dec-14 11:53
agda-stdlib-doc_0.11-1_all.deb 12650622016-Jan-05 01:20
agda-stdlib-doc_0.14-1_all.deb 10690082017-Nov-26 18:04
agda-stdlib_1.1.orig.tar.gz 5701062019-Sep-04 13:38
agda-stdlib_0.17.orig.tar.gz 3973282018-Nov-24 05:23
agda-stdlib_0.14.orig.tar.gz 2853792017-Nov-26 11:14
agda-stdlib_0.11.orig.tar.gz 2532512016-Jan-04 23:25
agda-stdlib_0.7.orig.tar.gz 2264002013-Apr-10 18:03
agda-stdlib_0.6.orig.tar.gz 2162732012-Jan-04 01:04
agda-stdlib_1.1-1.debian.tar.xz 55282019-Sep-06 15:48
agda-stdlib_0.17-1.debian.tar.xz 53122018-Nov-24 05:23
agda-stdlib_0.14-1.debian.tar.xz 51882017-Nov-26 17:08
agda-stdlib_0.11-1.debian.tar.xz 46002016-Jan-04 23:25
agda-stdlib_0.7-2.debian.tar.gz 44552013-May-27 23:33
agda-stdlib_0.6-2.debian.tar.gz 42262012-Mar-18 21:33
agda-stdlib_0.17-1.dsc 22342018-Nov-24 05:23
agda-stdlib_1.1-1.dsc 21172019-Sep-06 15:48
agda-stdlib_0.11-1.dsc 21052016-Jan-04 23:25
agda-stdlib_0.14-1.dsc 21002017-Nov-26 17:08
agda-stdlib_0.7-2.dsc 20772013-May-27 23:33
agda-stdlib_0.6-2.dsc 14372012-Mar-18 21:33