Index of /main/a/agda/
../
agda_2.2.6-7.debian.tar.gz 16-Aug-2012 22:43 5315
agda_2.2.6-7.dsc 16-Aug-2012 22:43 2294
agda_2.2.6.orig.tar.gz 16-Aug-2012 22:43 424382
agda_2.3.0-1.debian.tar.gz 03-Aug-2012 21:17 6505
agda_2.3.0-1.dsc 03-Aug-2012 21:17 3488
agda_2.3.0.1-2.debian.tar.gz 26-May-2012 21:32 6874
agda_2.3.0.1-2.dsc 26-May-2012 21:32 2391
agda_2.3.0.1.orig.tar.gz 12-Mar-2012 13:32 612342
agda_2.3.0.orig.tar.gz 03-Aug-2012 21:17 608029
agda_2.3.2-1.debian.tar.gz 10-Apr-2013 17:18 7233
agda_2.3.2-1.dsc 10-Apr-2013 17:18 3383
agda_2.3.2-2.debian.tar.gz 27-May-2013 23:21 7353
agda_2.3.2-2.dsc 27-May-2013 23:21 3358
agda_2.3.2-3.debian.tar.gz 29-May-2013 17:27 7445
agda_2.3.2-3.dsc 29-May-2013 17:27 2633
agda_2.3.2-4.debian.tar.gz 12-Jun-2013 17:19 7405
agda_2.3.2-4.dsc 12-Jun-2013 17:19 3283
agda_2.3.2.1-1.debian.tar.gz 18-Jun-2013 05:56 7250
agda_2.3.2.1-1.dsc 18-Jun-2013 05:56 3299
agda_2.3.2.1-2.debian.tar.gz 19-Oct-2013 23:19 7692
agda_2.3.2.1-2.dsc 19-Oct-2013 23:19 3280
agda_2.3.2.1.orig.tar.gz 18-Jun-2013 05:56 730010
agda_2.3.2.2-1.debian.tar.gz 06-Nov-2013 10:24 7406
agda_2.3.2.2-1.dsc 06-Nov-2013 10:24 3283
agda_2.3.2.2.orig.tar.gz 06-Nov-2013 10:24 2034934
agda_2.3.2.orig.tar.gz 10-Apr-2013 17:18 726462
agda_2.4.0.2-1.debian.tar.xz 06-Aug-2014 11:29 7204
agda_2.4.0.2-1.dsc 06-Aug-2014 11:29 3882
agda_2.4.0.2-2.debian.tar.xz 11-Aug-2014 11:28 7344
agda_2.4.0.2-2.dsc 11-Aug-2014 11:28 3938
agda_2.4.0.2.orig.tar.gz 05-Aug-2014 09:23 910389
agda_2.4.2.2-2.debian.tar.xz 20-May-2015 12:23 7592
agda_2.4.2.2-2.dsc 20-May-2015 12:23 3592
agda_2.4.2.2-3.debian.tar.xz 01-Jul-2015 17:58 8348
agda_2.4.2.2-3.dsc 01-Jul-2015 17:58 3596
agda_2.4.2.2-4.debian.tar.xz 04-Aug-2015 14:08 8792
agda_2.4.2.2-4.dsc 04-Aug-2015 14:08 3594
agda_2.4.2.2.orig.tar.gz 20-May-2015 12:23 963302
agda_2.4.2.5-1.debian.tar.xz 05-Jan-2016 05:47 7776
agda_2.4.2.5-1.dsc 05-Jan-2016 05:47 3746
agda_2.4.2.5.orig.tar.gz 05-Jan-2016 05:47 1031427
agda_2.5.1-1.debian.tar.xz 15-Jun-2016 00:03 8496
agda_2.5.1-1.dsc 15-Jun-2016 00:03 4040
agda_2.5.1-2.debian.tar.xz 20-Jun-2016 16:41 8712
agda_2.5.1-2.dsc 20-Jun-2016 16:41 4035
agda_2.5.1.1-1.debian.tar.xz 18-Oct-2016 05:04 8768
agda_2.5.1.1-1.dsc 18-Oct-2016 05:04 4209
agda_2.5.1.1-2.debian.tar.xz 20-Oct-2016 22:55 9028
agda_2.5.1.1-2.dsc 20-Oct-2016 22:55 4209
agda_2.5.1.1-3.debian.tar.xz 28-Oct-2016 14:24 9020
agda_2.5.1.1-3.dsc 28-Oct-2016 14:24 4210
agda_2.5.1.1-4.debian.tar.xz 21-Jun-2017 14:46 9668
agda_2.5.1.1-4.dsc 21-Jun-2017 14:46 3997
agda_2.5.1.1.orig.tar.gz 18-Oct-2016 05:04 1175603
agda_2.5.1.orig.tar.gz 15-Jun-2016 00:03 1173151
agda_2.5.2-1.debian.tar.xz 08-Jul-2017 09:04 8812
agda_2.5.2-1.dsc 08-Jul-2017 09:04 4054
agda_2.5.2-2.debian.tar.xz 11-Jul-2017 02:16 9032
agda_2.5.2-2.dsc 11-Jul-2017 02:16 4054
agda_2.5.2.orig.tar.gz 08-Jul-2017 09:04 1240885
agda_2.5.3-1.debian.tar.xz 13-Oct-2017 23:16 9048
agda_2.5.3-1.dsc 13-Oct-2017 23:16 4603
agda_2.5.3-2.debian.tar.xz 14-Oct-2017 05:13 9080
agda_2.5.3-2.dsc 14-Oct-2017 05:13 4580
agda_2.5.3-3.debian.tar.xz 14-Oct-2017 11:11 9744
agda_2.5.3-3.dsc 14-Oct-2017 11:11 4580
agda_2.5.3-4.debian.tar.xz 11-Apr-2018 15:02 9900
agda_2.5.3-4.dsc 11-Apr-2018 15:02 4685
agda_2.5.3-5.debian.tar.xz 29-Apr-2018 17:15 10064
agda_2.5.3-5.dsc 29-Apr-2018 17:15 4661
agda_2.5.3.orig.tar.gz 13-Oct-2017 23:16 1201344
agda_2.5.4.1-1.debian.tar.xz 30-Sep-2018 17:30 9936
agda_2.5.4.1-1.dsc 30-Sep-2018 17:30 4497
agda_2.5.4.1-2.debian.tar.xz 01-Oct-2018 23:12 9936
agda_2.5.4.1-2.dsc 01-Oct-2018 23:12 4239
agda_2.5.4.1-3.debian.tar.xz 23-Oct-2018 11:31 9928
agda_2.5.4.1-3.dsc 23-Oct-2018 11:31 3870
agda_2.5.4.1.orig.tar.gz 30-Sep-2018 17:30 1989201
agda_2.6.0.1-1.debian.tar.xz 31-Aug-2019 23:36 10012
agda_2.6.0.1-1.dsc 31-Aug-2019 23:36 4190
agda_2.6.0.1.orig.tar.gz 31-Aug-2019 23:36 2372106
agda_2.6.1-1.debian.tar.xz 29-Jul-2020 15:40 10060
agda_2.6.1-1.dsc 29-Jul-2020 15:40 4186
agda_2.6.1.orig.tar.gz 29-Jul-2020 15:40 2646289