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