Index of /ubuntu-old-releases/ubuntu/pool/universe/a/agda-stdlib/
../
agda-stdlib-doc_0.12-2build1_all.deb 15-May-2018 06:14 1271668
agda-stdlib-doc_0.12-2build2_all.deb 15-Nov-2016 17:08 1272112
agda-stdlib-doc_0.13-1_all.deb 10-Jul-2017 12:28 1335882
agda-stdlib-doc_0.14-1_all.deb 26-Nov-2017 18:04 1069008
agda-stdlib-doc_0.17-1_all.deb 14-Dec-2018 11:53 1382460
agda-stdlib-doc_0.3-1ubuntu2_all.deb 16-Feb-2010 13:04 1173214
agda-stdlib-doc_0.3-3fakesync_all.deb 26-May-2010 06:05 1173374
agda-stdlib-doc_0.5-1_all.deb 17-Jun-2011 17:05 1562122
agda-stdlib-doc_0.5-1~ubuntu1_all.deb 01-Mar-2011 01:04 1569256
agda-stdlib-doc_0.6-2_all.deb 18-Mar-2012 22:03 1696256
agda-stdlib-doc_0.7-1_all.deb 10-Apr-2013 20:03 1748184
agda-stdlib-doc_0.7-2_all.deb 27-May-2013 23:33 1748382
agda-stdlib-doc_0.8-2_all.deb 12-Aug-2014 17:08 1242196
agda-stdlib-doc_0.9-1_all.deb 05-Jun-2015 16:09 1251004
agda-stdlib-doc_1.1-1_all.deb 06-Sep-2019 15:48 1906288
agda-stdlib-doc_1.3-2_all.deb 02-Aug-2020 05:43 2447524
agda-stdlib-doc_1.7.1-1_all.deb 26-Aug-2022 19:09 2980102
agda-stdlib_0.12-2build1.debian.tar.xz 13-Jun-2018 02:52 5016
agda-stdlib_0.12-2build1.dsc 13-Jun-2018 02:52 2179
agda-stdlib_0.12-2build1_all.deb 15-May-2018 06:14 17062794
agda-stdlib_0.12-2build2.debian.tar.xz 15-Nov-2016 17:08 5048
agda-stdlib_0.12-2build2.dsc 15-Nov-2016 17:08 2179
agda-stdlib_0.12-2build2_all.deb 15-Nov-2016 17:08 15594516
agda-stdlib_0.12.orig.tar.gz 20-Jun-2016 23:40 254024
agda-stdlib_0.13-1.debian.tar.xz 07-Jul-2017 05:08 5040
agda-stdlib_0.13-1.dsc 07-Jul-2017 05:08 2091
agda-stdlib_0.13-1_all.deb 10-Jul-2017 12:28 16940926
agda-stdlib_0.13.orig.tar.gz 07-Jul-2017 05:08 264701
agda-stdlib_0.14-1.debian.tar.xz 26-Nov-2017 17:08 5188
agda-stdlib_0.14-1.dsc 26-Nov-2017 17:08 2100
agda-stdlib_0.14-1_all.deb 26-Nov-2017 18:04 18159516
agda-stdlib_0.14.orig.tar.gz 26-Nov-2017 11:14 285379
agda-stdlib_0.17-1.debian.tar.xz 24-Nov-2018 05:23 5312
agda-stdlib_0.17-1.dsc 24-Nov-2018 05:23 2234
agda-stdlib_0.17-1_all.deb 14-Dec-2018 11:53 33010396
agda-stdlib_0.17.orig.tar.gz 24-Nov-2018 05:23 397328
agda-stdlib_0.3-1ubuntu2.diff.gz 16-Feb-2010 13:04 3735
agda-stdlib_0.3-1ubuntu2.dsc 16-Feb-2010 13:04 1289
agda-stdlib_0.3-1ubuntu2_amd64.deb 16-Feb-2010 14:10 12047060
agda-stdlib_0.3-1ubuntu2_armel.deb 16-Feb-2010 21:04 12067868
agda-stdlib_0.3-1ubuntu2_i386.deb 16-Feb-2010 13:04 12047080
agda-stdlib_0.3-1ubuntu2_powerpc.deb 16-Feb-2010 16:04 12047116
agda-stdlib_0.3-1ubuntu2_sparc.deb 17-Feb-2010 00:05 12047110
agda-stdlib_0.3-3fakesync.diff.gz 25-May-2010 22:04 3830
agda-stdlib_0.3-3fakesync.dsc 25-May-2010 22:04 1308
agda-stdlib_0.3-3fakesync_amd64.deb 29-May-2010 18:04 12047028
agda-stdlib_0.3-3fakesync_armel.deb 06-Jul-2010 02:05 12068484
agda-stdlib_0.3-3fakesync_i386.deb 26-May-2010 06:05 12047032
agda-stdlib_0.3-3fakesync_powerpc.deb 29-May-2010 18:05 12047070
agda-stdlib_0.3.orig.tar.gz 13-Feb-2010 16:04 153277
agda-stdlib_0.5-1.diff.gz 17-Jun-2011 17:05 3647
agda-stdlib_0.5-1.dsc 17-Jun-2011 17:05 1903
agda-stdlib_0.5-1_all.deb 17-Jun-2011 17:05 16056728
agda-stdlib_0.5-1~ubuntu1.diff.gz 01-Mar-2011 01:04 3786
agda-stdlib_0.5-1~ubuntu1.dsc 01-Mar-2011 01:04 1937
agda-stdlib_0.5-1~ubuntu1_all.deb 01-Mar-2011 01:04 16079118
agda-stdlib_0.5.orig.tar.gz 01-Mar-2011 01:04 198083
agda-stdlib_0.6-2.debian.tar.gz 18-Mar-2012 21:33 4226
agda-stdlib_0.6-2.dsc 18-Mar-2012 21:33 1437
agda-stdlib_0.6-2_all.deb 18-Mar-2012 22:03 16955470
agda-stdlib_0.6.orig.tar.gz 04-Jan-2012 01:04 216273
agda-stdlib_0.7-1.debian.tar.gz 10-Apr-2013 18:03 4431
agda-stdlib_0.7-1.dsc 10-Apr-2013 18:03 2077
agda-stdlib_0.7-1_all.deb 10-Apr-2013 20:03 18142832
agda-stdlib_0.7-2.debian.tar.gz 27-May-2013 23:33 4455
agda-stdlib_0.7-2.dsc 27-May-2013 23:33 2077
agda-stdlib_0.7-2_all.deb 27-May-2013 23:33 18142868
agda-stdlib_0.7.orig.tar.gz 10-Apr-2013 18:03 226400
agda-stdlib_0.8-2.debian.tar.xz 12-Aug-2014 16:38 4524
agda-stdlib_0.8-2.dsc 12-Aug-2014 16:38 2094
agda-stdlib_0.8-2_all.deb 12-Aug-2014 17:08 23532704
agda-stdlib_0.8.orig.tar.gz 05-Aug-2014 17:34 246158
agda-stdlib_0.9-1.debian.tar.xz 20-May-2015 17:08 4564
agda-stdlib_0.9-1.dsc 20-May-2015 17:08 2098
agda-stdlib_0.9-1_all.deb 05-Jun-2015 16:09 11065302
agda-stdlib_0.9.orig.tar.gz 20-May-2015 17:08 248895
agda-stdlib_1.1-1.debian.tar.xz 06-Sep-2019 15:48 5528
agda-stdlib_1.1-1.dsc 06-Sep-2019 15:48 2117
agda-stdlib_1.1-1_all.deb 06-Sep-2019 15:48 47388280
agda-stdlib_1.1.orig.tar.gz 04-Sep-2019 13:38 570106
agda-stdlib_1.3-2.debian.tar.xz 02-Aug-2020 05:13 5640
agda-stdlib_1.3-2.dsc 02-Aug-2020 05:13 2113
agda-stdlib_1.3-2_all.deb 02-Aug-2020 05:43 73224528
agda-stdlib_1.3.orig.tar.gz 01-Aug-2020 23:33 751412
agda-stdlib_1.7.1-1.debian.tar.xz 06-Aug-2022 23:19 5664
agda-stdlib_1.7.1-1.dsc 06-Aug-2022 23:19 2157
agda-stdlib_1.7.1-1_all.deb 26-Aug-2022 19:09 102720392
agda-stdlib_1.7.1.orig.tar.gz 06-Aug-2022 23:19 940131