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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda-stdlib_0.14-1_all.deb 17M2017-Nov-26 18:04
agda-stdlib_0.7-2_all.deb 17M2013-May-27 23:33
agda-stdlib_0.11-1_all.deb 17M2016-Jan-05 01:20
agda-stdlib_0.6-2_all.deb 16M2012-Mar-18 22:03
agda-stdlib_0.13-1_all.deb 16M2017-Jul-10 12:28
agda-stdlib-doc_0.7-2_all.deb 2M2013-May-27 23:33
agda-stdlib-doc_0.6-2_all.deb 2M2012-Mar-18 22:03
agda-stdlib-doc_0.13-1_all.deb 1M2017-Jul-10 12:28
agda-stdlib-doc_0.11-1_all.deb 1M2016-Jan-05 01:20
agda-stdlib-doc_0.14-1_all.deb 1M2017-Nov-26 18:04
agda-stdlib_0.14.orig.tar.gz 279K2017-Nov-26 11:14
agda-stdlib_0.13.orig.tar.gz 258K2017-Jul-07 05:08
agda-stdlib_0.11.orig.tar.gz 247K2016-Jan-04 23:25
agda-stdlib_0.7.orig.tar.gz 221K2013-Apr-10 18:03
agda-stdlib_0.6.orig.tar.gz 211K2012-Jan-04 01:04
agda-stdlib_0.14-1.debian.tar.xz 51882017-Nov-26 17:08
agda-stdlib_0.13-1.debian.tar.xz 50402017-Jul-07 05: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.11-1.dsc 21052016-Jan-04 23:25
agda-stdlib_0.14-1.dsc 21002017-Nov-26 17:08
agda-stdlib_0.13-1.dsc 20912017-Jul-07 05:08
agda-stdlib_0.7-2.dsc 20772013-May-27 23:33
agda-stdlib_0.6-2.dsc 14372012-Mar-18 21:33