Index of /ubuntu/pool/universe/a/agda-stdlib/
../
agda-stdlib-doc_0.11-1_all.deb 05-Jan-2016 09:20 1M
agda-stdlib-doc_0.12-2build1_all.deb 10-Aug-2016 00:15 1M
agda-stdlib-doc_0.12-2build2_all.deb 16-Nov-2016 01:08 1M
agda-stdlib-doc_0.13-1_all.deb 10-Jul-2017 20:28 1M
agda-stdlib-doc_0.14-1_all.deb 27-Nov-2017 02:04 1M
agda-stdlib-doc_0.6-2_all.deb 19-Mar-2012 06:03 2M
agda-stdlib-doc_0.7-2_all.deb 28-May-2013 07:33 2M
agda-stdlib-doc_0.8-2_all.deb 13-Aug-2014 01:08 1M
agda-stdlib_0.11-1.debian.tar.xz 05-Jan-2016 07:25 4600
agda-stdlib_0.11-1.dsc 05-Jan-2016 07:25 2105
agda-stdlib_0.11-1_all.deb 05-Jan-2016 09:20 17M
agda-stdlib_0.11.orig.tar.gz 05-Jan-2016 07:25 247K
agda-stdlib_0.12-2build1.debian.tar.xz 09-Aug-2016 23:30 5016
agda-stdlib_0.12-2build1.dsc 09-Aug-2016 23:30 2179
agda-stdlib_0.12-2build1_all.deb 10-Aug-2016 00:15 16M
agda-stdlib_0.12-2build2.debian.tar.xz 16-Nov-2016 01:08 5048
agda-stdlib_0.12-2build2.dsc 16-Nov-2016 01:08 2179
agda-stdlib_0.12-2build2_all.deb 16-Nov-2016 01:08 15M
agda-stdlib_0.12.orig.tar.gz 21-Jun-2016 07:40 248K
agda-stdlib_0.13-1.debian.tar.xz 07-Jul-2017 13:08 5040
agda-stdlib_0.13-1.dsc 07-Jul-2017 13:08 2091
agda-stdlib_0.13-1_all.deb 10-Jul-2017 20:28 16M
agda-stdlib_0.13.orig.tar.gz 07-Jul-2017 13:08 258K
agda-stdlib_0.14-1.debian.tar.xz 27-Nov-2017 01:08 5188
agda-stdlib_0.14-1.dsc 27-Nov-2017 01:08 2100
agda-stdlib_0.14-1_all.deb 27-Nov-2017 02:04 17M
agda-stdlib_0.14.orig.tar.gz 26-Nov-2017 19:14 279K
agda-stdlib_0.6-2.debian.tar.gz 19-Mar-2012 05:33 4226
agda-stdlib_0.6-2.dsc 19-Mar-2012 05:33 1437
agda-stdlib_0.6-2_all.deb 19-Mar-2012 06:03 16M
agda-stdlib_0.6.orig.tar.gz 04-Jan-2012 09:04 211K
agda-stdlib_0.7-2.debian.tar.gz 28-May-2013 07:33 4455
agda-stdlib_0.7-2.dsc 28-May-2013 07:33 2077
agda-stdlib_0.7-2_all.deb 28-May-2013 07:33 17M
agda-stdlib_0.7.orig.tar.gz 11-Apr-2013 02:03 221K
agda-stdlib_0.8-2.debian.tar.xz 13-Aug-2014 00:38 4524
agda-stdlib_0.8-2.dsc 13-Aug-2014 00:38 2094
agda-stdlib_0.8-2_all.deb 13-Aug-2014 01:08 22M
agda-stdlib_0.8.orig.tar.gz 06-Aug-2014 01:34 240K