Index of /ubuntu-old-releases/ubuntu/pool/universe/a/agda/
../
agda-bin_2.3.2-1_amd64.deb 10-Apr-2013 18:03 5339840
agda-bin_2.3.2-1_armhf.deb 10-Apr-2013 20:03 7457220
agda-bin_2.3.2-1_i386.deb 10-Apr-2013 18:03 4968596
agda-bin_2.3.2-1_powerpc.deb 10-Apr-2013 18:03 5202728
agda-bin_2.3.2.1-1_amd64.deb 17-Jun-2013 00:03 5345782
agda-bin_2.3.2.1-1_i386.deb 17-Jun-2013 00:03 4975220
agda-bin_2.3.2.1-1_powerpc.deb 17-Jun-2013 00:03 5222248
agda-bin_2.4.0.2-2_amd64.deb 11-Aug-2014 16:53 3877794
agda-bin_2.4.0.2-2_i386.deb 11-Aug-2014 16:53 3726002
agda-bin_2.4.0.2-2_powerpc.deb 11-Aug-2014 17:22 3511298
agda-bin_2.4.0.2-2build1_amd64.deb 29-Oct-2014 18:00 3879758
agda-bin_2.4.0.2-2build1_i386.deb 29-Oct-2014 18:01 3728586
agda-bin_2.4.0.2-2build1_powerpc.deb 29-Oct-2014 18:50 3513880
agda-bin_2.4.2.2-4build1_amd64.deb 16-Aug-2015 09:23 4507644
agda-bin_2.4.2.2-4build1_arm64.deb 16-Aug-2015 10:43 7377144
agda-bin_2.4.2.2-4build1_i386.deb 16-Aug-2015 09:08 4478408
agda-bin_2.4.2.2-4build1_powerpc.deb 16-Aug-2015 09:08 3999068
agda-bin_2.4.2.2-4build1_ppc64el.deb 16-Aug-2015 09:44 6238680
agda-bin_2.5.1-2build2_amd64.deb 15-May-2018 06:14 4938778
agda-bin_2.5.1-2build2_arm64.deb 13-Jun-2018 04:19 8063562
agda-bin_2.5.1-2build2_armhf.deb 13-Jun-2018 05:10 6423960
agda-bin_2.5.1-2build2_i386.deb 13-Jun-2018 05:56 4918046
agda-bin_2.5.1-2build2_powerpc.deb 13-Jun-2018 06:40 4412508
agda-bin_2.5.1-2build2_ppc64el.deb 13-Jun-2018 07:48 6849438
agda-bin_2.5.1-2build2_s390x.deb 13-Jun-2018 08:44 12318498
agda-bin_2.5.1.1-3build3_amd64.deb 27-Jan-2017 08:03 5053678
agda-bin_2.5.1.1-3build3_arm64.deb 27-Jan-2017 09:23 8429506
agda-bin_2.5.1.1-3build3_armhf.deb 27-Jan-2017 09:33 6682886
agda-bin_2.5.1.1-3build3_i386.deb 27-Jan-2017 07:29 5051880
agda-bin_2.5.1.1-3build3_ppc64el.deb 27-Jan-2017 08:05 6252636
agda-bin_2.5.1.1-3build3_s390x.deb 27-Jan-2017 08:05 12438424
agda-bin_2.5.2-2build1_amd64.deb 15-Jul-2017 12:08 4982402
agda-bin_2.5.2-2build1_arm64.deb 15-Jul-2017 13:48 8122270
agda-bin_2.5.2-2build1_armhf.deb 15-Jul-2017 14:24 6583182
agda-bin_2.5.2-2build1_i386.deb 15-Jul-2017 12:08 5019930
agda-bin_2.5.2-2build1_ppc64el.deb 15-Jul-2017 12:08 5990986
agda-bin_2.5.2-2build1_s390x.deb 15-Jul-2017 12:08 11703314
agda-bin_2.5.3-5build3_amd64.deb 05-Jul-2018 08:58 5752176
agda-bin_2.5.3-5build3_arm64.deb 05-Jul-2018 10:43 6539776
agda-bin_2.5.3-5build3_armhf.deb 05-Jul-2018 12:03 6242404
agda-bin_2.5.3-5build3_i386.deb 05-Jul-2018 08:48 5855276
agda-bin_2.5.3-5build3_ppc64el.deb 05-Jul-2018 08:58 7803028
agda-bin_2.5.3-5build3_s390x.deb 05-Jul-2018 09:23 13161228
agda-bin_2.5.4.1-3_amd64.deb 14-Dec-2018 10:58 5753688
agda-bin_2.5.4.1-3_arm64.deb 14-Dec-2018 12:44 6668684
agda-bin_2.5.4.1-3_i386.deb 14-Dec-2018 10:38 5834332
agda-bin_2.5.4.1-3_ppc64el.deb 14-Dec-2018 10:53 7847132
agda-bin_2.5.4.1-3_s390x.deb 14-Dec-2018 11:03 13028500
agda-bin_2.6.0.1-1build2_amd64.deb 03-Sep-2019 06:23 6576312
agda-bin_2.6.0.1-1build2_arm64.deb 03-Sep-2019 09:03 7789532
agda-bin_2.6.0.1-1build2_i386.deb 03-Sep-2019 06:23 6643052
agda-bin_2.6.0.1-1build2_ppc64el.deb 03-Sep-2019 06:43 9152520
agda-bin_2.6.0.1-1build2_s390x.deb 03-Sep-2019 06:43 15506036
agda-bin_2.6.1-1build1_amd64.deb 27-Aug-2020 00:48 8888816
agda-bin_2.6.1-1build1_ppc64el.deb 27-Aug-2020 01:54 12301424
agda-bin_2.6.1-1build1_riscv64.deb 28-Aug-2020 18:08 14973388
agda-bin_2.6.1-1build1_s390x.deb 27-Aug-2020 02:08 23716896
agda-bin_2.6.1-1build2.1_amd64.deb 16-Sep-2021 08:28 9541384
agda-bin_2.6.1-1build2.1_ppc64el.deb 16-Sep-2021 08:43 14379838
agda-bin_2.6.1-1build2.1_riscv64.deb 17-Sep-2021 21:33 15767852
agda-bin_2.6.1-1build2.1_s390x.deb 16-Sep-2021 08:58 29791124
agda-bin_2.6.1-1build2_amd64.deb 05-Nov-2020 02:43 8887828
agda-bin_2.6.1-1build2_ppc64el.deb 18-Nov-2020 22:28 12299028
agda-bin_2.6.1-1build2_riscv64.deb 06-Nov-2020 15:03 14975784
agda-bin_2.6.1-1build2_s390x.deb 05-Nov-2020 05:24 23763008
agda-bin_2.6.2.2-1_amd64.deb 26-Aug-2022 16:14 8345440
agda-bin_2.6.2.2-1_ppc64el.deb 26-Aug-2022 16:39 12395640
agda-bin_2.6.2.2-1_riscv64.deb 28-Aug-2022 05:33 13494054
agda-bin_2.6.2.2-1_s390x.deb 26-Aug-2022 17:39 24975698
agda-mode_2.2.10-1~ubuntu1_all.deb 24-Feb-2011 19:05 40050
agda-mode_2.2.10-3build1_all.deb 09-Jul-2011 22:06 39886
agda-mode_2.2.4+dfsg-1_all.deb 24-Aug-2009 13:05 36386
agda-mode_2.2.6-3_all.deb 04-Mar-2010 15:05 39278
agda-mode_2.2.6-7build1_all.deb 26-May-2010 09:04 39608
agda-mode_2.3.0.1-1build2_all.deb 21-Apr-2012 17:03 40830
agda-mode_2.3.0.1-2build1_all.deb 27-Aug-2012 12:33 44936
agda-mode_2.3.2-1_all.deb 10-Apr-2013 18:03 45468
agda-mode_2.3.2.1-1_all.deb 17-Jun-2013 00:03 44642
agda-mode_2.4.0.2-2_all.deb 11-Aug-2014 16:53 40288
agda-mode_2.4.0.2-2build1_all.deb 29-Oct-2014 18:00 40228
agda-mode_2.4.2.2-4build1_all.deb 16-Aug-2015 09:23 36270
agda-mode_2.5.1-2build2_all.deb 15-May-2018 06:14 4322
agda-mode_2.5.1.1-3build3_all.deb 27-Jan-2017 08:03 4144
agda-mode_2.5.2-2build1_all.deb 15-Jul-2017 12:08 4110
agda-mode_2.5.3-5build3_all.deb 05-Jul-2018 08:58 3572
agda-mode_2.5.4.1-3_all.deb 14-Dec-2018 10:58 3700
agda-mode_2.6.0.1-1build2_all.deb 03-Sep-2019 06:23 3664
agda_2.2.10-1~ubuntu1.debian.tar.gz 24-Feb-2011 19:05 8391
agda_2.2.10-1~ubuntu1.dsc 24-Feb-2011 19:05 3182
agda_2.2.10-3build1.debian.tar.gz 09-Jul-2011 22:06 7663
agda_2.2.10-3build1.dsc 09-Jul-2011 22:06 3204
agda_2.2.10-3build1_all.deb 09-Jul-2011 22:06 2986
agda_2.2.10.orig.tar.gz 24-Feb-2011 19:05 517723
agda_2.2.4+dfsg-1.diff.gz 24-Aug-2009 11:04 4129
agda_2.2.4+dfsg-1.dsc 24-Aug-2009 11:04 3038
agda_2.2.4+dfsg.orig.tar.gz 24-Aug-2009 11:04 377740
agda_2.2.6-3.diff.gz 04-Mar-2010 15:05 5364
agda_2.2.6-3.dsc 04-Mar-2010 15:05 2750
agda_2.2.6-7build1.debian.tar.gz 26-May-2010 09:04 5364
agda_2.2.6-7build1.dsc 26-May-2010 09:04 2318
agda_2.2.6.orig.tar.gz 02-Feb-2010 22:04 424382
agda_2.3.0.1-1build2.debian.tar.gz 21-Apr-2012 16:33 6631
agda_2.3.0.1-1build2.dsc 21-Apr-2012 16:33 3053
agda_2.3.0.1-1build2_all.deb 21-Apr-2012 17:03 2984
agda_2.3.0.1-2build1.debian.tar.gz 27-Aug-2012 12:33 6944
agda_2.3.0.1-2build1.dsc 27-Aug-2012 12:33 3055
agda_2.3.0.1-2build1_all.deb 27-Aug-2012 12:33 3012
agda_2.3.0.1.orig.tar.gz 18-Mar-2012 12:03 612342
agda_2.3.2-1.debian.tar.gz 10-Apr-2013 17:33 7233
agda_2.3.2-1.dsc 10-Apr-2013 17:33 3383
agda_2.3.2-1_all.deb 10-Apr-2013 18:03 2974
agda_2.3.2.1-1.debian.tar.gz 16-Jun-2013 23:33 7250
agda_2.3.2.1-1.dsc 16-Jun-2013 23:33 3299
agda_2.3.2.1-1_all.deb 17-Jun-2013 00:03 2982
agda_2.3.2.1.orig.tar.gz 16-Jun-2013 23:33 730010
agda_2.3.2.orig.tar.gz 10-Apr-2013 17:33 726462
agda_2.4.0.2-2.debian.tar.xz 11-Aug-2014 16:28 7344
agda_2.4.0.2-2.dsc 11-Aug-2014 16:28 3938
agda_2.4.0.2-2_all.deb 11-Aug-2014 16:53 3034
agda_2.4.0.2-2build1.debian.tar.xz 29-Oct-2014 17:58 7384
agda_2.4.0.2-2build1.dsc 29-Oct-2014 17:58 3962
agda_2.4.0.2-2build1_all.deb 29-Oct-2014 18:00 3040
agda_2.4.0.2.orig.tar.gz 05-Aug-2014 17:34 910389
agda_2.4.2.2-4build1.debian.tar.xz 16-Aug-2015 08:58 8856
agda_2.4.2.2-4build1.dsc 16-Aug-2015 08:58 3674
agda_2.4.2.2-4build1_all.deb 16-Aug-2015 09:23 2968
agda_2.4.2.2.orig.tar.gz 20-May-2015 17:08 963302
agda_2.5.1-2build2.debian.tar.xz 13-Jun-2018 02:52 8868
agda_2.5.1-2build2.dsc 13-Jun-2018 02:52 4138
agda_2.5.1-2build2_all.deb 15-May-2018 06:14 2958
agda_2.5.1.1-3build3.debian.tar.xz 27-Jan-2017 07:28 9672
agda_2.5.1.1-3build3.dsc 27-Jan-2017 07:28 4081
agda_2.5.1.1-3build3_all.deb 27-Jan-2017 08:03 2958
agda_2.5.1.1.orig.tar.gz 13-Nov-2016 13:09 1175603
agda_2.5.1.orig.tar.gz 13-Jun-2018 02:52 1173151
agda_2.5.2-2build1.debian.tar.xz 15-Jul-2017 08:58 9076
agda_2.5.2-2build1.dsc 15-Jul-2017 08:58 4078
agda_2.5.2-2build1_all.deb 15-Jul-2017 12:08 2962
agda_2.5.2.orig.tar.gz 07-Jul-2017 05:08 1240885
agda_2.5.3-5build3.debian.tar.xz 05-Jul-2018 07:48 10128
agda_2.5.3-5build3.dsc 05-Jul-2018 07:48 4513
agda_2.5.3-5build3_all.deb 05-Jul-2018 08:58 3052
agda_2.5.3.orig.tar.gz 01-Nov-2017 13:05 1201344
agda_2.5.4.1-3.debian.tar.xz 14-Dec-2018 10:18 9928
agda_2.5.4.1-3.dsc 14-Dec-2018 10:18 3870
agda_2.5.4.1-3_all.deb 14-Dec-2018 10:58 4116
agda_2.5.4.1.orig.tar.gz 14-Dec-2018 10:18 1989201
agda_2.6.0.1-1build2.debian.tar.xz 03-Sep-2019 05:53 10140
agda_2.6.0.1-1build2.dsc 03-Sep-2019 05:53 4305
agda_2.6.0.1-1build2_all.deb 03-Sep-2019 06:23 4080
agda_2.6.0.1.orig.tar.gz 01-Sep-2019 12:43 2372106
agda_2.6.1-1build1.debian.tar.xz 27-Aug-2020 00:08 10156
agda_2.6.1-1build1.dsc 27-Aug-2020 00:08 4297
agda_2.6.1-1build1_all.deb 27-Aug-2020 00:48 4168
agda_2.6.1-1build2.1.debian.tar.xz 16-Sep-2021 07:39 10232
agda_2.6.1-1build2.1.dsc 16-Sep-2021 07:39 4293
agda_2.6.1-1build2.1_all.deb 16-Sep-2021 08:28 4134
agda_2.6.1-1build2.debian.tar.xz 29-Oct-2020 20:24 10188
agda_2.6.1-1build2.dsc 29-Oct-2020 20:24 4297
agda_2.6.1-1build2_all.deb 05-Nov-2020 02:43 4184
agda_2.6.1.orig.tar.gz 29-Jul-2020 23:19 2646289
agda_2.6.2.2-1.debian.tar.xz 06-Aug-2022 23:19 10192
agda_2.6.2.2-1.dsc 06-Aug-2022 23:19 4447
agda_2.6.2.2-1_all.deb 26-Aug-2022 16:14 4134
agda_2.6.2.2.orig.tar.gz 06-Aug-2022 23:19 1690635
elpa-agda2-mode_2.5.1-2build2_all.deb 15-May-2018 06:22 39854
elpa-agda2-mode_2.5.1.1-3build3_all.deb 27-Jan-2017 08:03 39700
elpa-agda2-mode_2.5.2-2build1_all.deb 15-Jul-2017 12:08 40754
elpa-agda2-mode_2.5.3-5build3_all.deb 05-Jul-2018 08:58 40880
elpa-agda2-mode_2.5.4.1-3_all.deb 14-Dec-2018 10:58 41428
elpa-agda2-mode_2.6.0.1-1build2_all.deb 03-Sep-2019 06:23 41824
elpa-agda2-mode_2.6.1-1build1_all.deb 27-Aug-2020 00:48 42304
elpa-agda2-mode_2.6.1-1build2.1_all.deb 16-Sep-2021 08:28 46174
elpa-agda2-mode_2.6.1-1build2_all.deb 05-Nov-2020 02:43 42324
elpa-agda2-mode_2.6.2.2-1_all.deb 26-Aug-2022 16:14 45778
haskell-agda-doc_2.2.4+dfsg-1_all.deb 24-Aug-2009 13:05 971158
haskell-agda-doc_2.2.6-3_all.deb 04-Mar-2010 15:05 1058766
libghc-agda-dev_2.2.10-3build1_amd64.deb 09-Jul-2011 22:06 10870938
libghc-agda-dev_2.2.10-3build1_i386.deb 09-Jul-2011 22:06 10212366
libghc-agda-dev_2.2.10-3build1_powerpc.deb 09-Jul-2011 22:06 13880400
libghc-agda-dev_2.3.0.1-1build2_amd64.deb 21-Apr-2012 17:03 13034196
libghc-agda-dev_2.3.0.1-1build2_armel.deb 21-Apr-2012 18:33 18722962
libghc-agda-dev_2.3.0.1-1build2_armhf.deb 21-Apr-2012 18:33 18716716
libghc-agda-dev_2.3.0.1-1build2_i386.deb 21-Apr-2012 17:03 12390688
libghc-agda-dev_2.3.0.1-1build2_powerpc.deb 21-Apr-2012 17:03 16454650
libghc-agda-dev_2.3.0.1-2build1_amd64.deb 27-Aug-2012 13:03 13190090
libghc-agda-dev_2.3.0.1-2build1_armel.deb 27-Aug-2012 14:33 17730002
libghc-agda-dev_2.3.0.1-2build1_armhf.deb 27-Aug-2012 14:33 18871022
libghc-agda-dev_2.3.0.1-2build1_i386.deb 27-Aug-2012 12:33 12537544
libghc-agda-dev_2.3.0.1-2build1_powerpc.deb 27-Aug-2012 13:03 16575618
libghc-agda-dev_2.3.2-1_amd64.deb 10-Apr-2013 18:03 13600354
libghc-agda-dev_2.3.2-1_armhf.deb 10-Apr-2013 20:03 19249514
libghc-agda-dev_2.3.2-1_i386.deb 10-Apr-2013 18:03 12924862
libghc-agda-dev_2.3.2-1_powerpc.deb 10-Apr-2013 18:03 15569896
libghc-agda-dev_2.3.2.1-1_amd64.deb 17-Jun-2013 00:03 13573130
libghc-agda-dev_2.3.2.1-1_i386.deb 17-Jun-2013 00:03 12897176
libghc-agda-dev_2.3.2.1-1_powerpc.deb 17-Jun-2013 00:03 15545848
libghc-agda-dev_2.4.0.2-2_amd64.deb 11-Aug-2014 16:53 9747194
libghc-agda-dev_2.4.0.2-2_i386.deb 11-Aug-2014 16:53 9595636
libghc-agda-dev_2.4.0.2-2_powerpc.deb 11-Aug-2014 17:22 9555026
libghc-agda-dev_2.4.0.2-2build1_amd64.deb 29-Oct-2014 18:00 9725880
libghc-agda-dev_2.4.0.2-2build1_i386.deb 29-Oct-2014 18:01 9608392
libghc-agda-dev_2.4.0.2-2build1_powerpc.deb 29-Oct-2014 18:50 9566036
libghc-agda-dev_2.4.2.2-4build1_amd64.deb 16-Aug-2015 09:23 10656682
libghc-agda-dev_2.4.2.2-4build1_arm64.deb 16-Aug-2015 10:43 16604640
libghc-agda-dev_2.4.2.2-4build1_i386.deb 16-Aug-2015 09:08 10535122
libghc-agda-dev_2.4.2.2-4build1_powerpc.deb 16-Aug-2015 09:08 6572546
libghc-agda-dev_2.4.2.2-4build1_ppc64el.deb 16-Aug-2015 09:44 16991656
libghc-agda-dev_2.5.1-2build2_amd64.deb 15-May-2018 06:53 12067334
libghc-agda-dev_2.5.1-2build2_arm64.deb 13-Jun-2018 04:35 18655526
libghc-agda-dev_2.5.1-2build2_armhf.deb 13-Jun-2018 05:24 15976840
libghc-agda-dev_2.5.1-2build2_i386.deb 13-Jun-2018 06:13 11930648
libghc-agda-dev_2.5.1-2build2_powerpc.deb 13-Jun-2018 07:02 11950372
libghc-agda-dev_2.5.1-2build2_ppc64el.deb 13-Jun-2018 08:05 18884964
libghc-agda-dev_2.5.1-2build2_s390x.deb 13-Jun-2018 09:11 19365340
libghc-agda-dev_2.5.1.1-3build3_amd64.deb 27-Jan-2017 08:03 12964750
libghc-agda-dev_2.5.1.1-3build3_arm64.deb 27-Jan-2017 09:23 19572136
libghc-agda-dev_2.5.1.1-3build3_armhf.deb 27-Jan-2017 09:33 16178584
libghc-agda-dev_2.5.1.1-3build3_i386.deb 27-Jan-2017 07:29 12849694
libghc-agda-dev_2.5.1.1-3build3_ppc64el.deb 27-Jan-2017 08:05 17593414
libghc-agda-dev_2.5.1.1-3build3_s390x.deb 27-Jan-2017 08:05 20088990
libghc-agda-dev_2.5.2-2build1_amd64.deb 15-Jul-2017 12:08 13246644
libghc-agda-dev_2.5.2-2build1_arm64.deb 15-Jul-2017 13:48 19959608
libghc-agda-dev_2.5.2-2build1_armhf.deb 15-Jul-2017 14:24 16443532
libghc-agda-dev_2.5.2-2build1_i386.deb 15-Jul-2017 12:08 13131994
libghc-agda-dev_2.5.2-2build1_ppc64el.deb 15-Jul-2017 12:08 17868206
libghc-agda-dev_2.5.2-2build1_s390x.deb 15-Jul-2017 12:08 20481972
libghc-agda-dev_2.5.3-5build3_amd64.deb 05-Jul-2018 08:58 16133444
libghc-agda-dev_2.5.3-5build3_arm64.deb 05-Jul-2018 10:43 18490260
libghc-agda-dev_2.5.3-5build3_armhf.deb 05-Jul-2018 12:03 19117224
libghc-agda-dev_2.5.3-5build3_i386.deb 05-Jul-2018 08:48 15707500
libghc-agda-dev_2.5.3-5build3_ppc64el.deb 05-Jul-2018 08:58 23272728
libghc-agda-dev_2.5.3-5build3_s390x.deb 05-Jul-2018 09:23 24612788
libghc-agda-dev_2.5.4.1-3_amd64.deb 14-Dec-2018 10:58 17044804
libghc-agda-dev_2.5.4.1-3_arm64.deb 14-Dec-2018 12:44 19622728
libghc-agda-dev_2.5.4.1-3_i386.deb 14-Dec-2018 10:38 16687972
libghc-agda-dev_2.5.4.1-3_ppc64el.deb 14-Dec-2018 10:53 24464984
libghc-agda-dev_2.5.4.1-3_s390x.deb 14-Dec-2018 11:03 25671636
libghc-agda-dev_2.6.0.1-1build2_amd64.deb 03-Sep-2019 06:23 19689644
libghc-agda-dev_2.6.0.1-1build2_arm64.deb 03-Sep-2019 09:03 23210468
libghc-agda-dev_2.6.0.1-1build2_i386.deb 03-Sep-2019 06:23 19390100
libghc-agda-dev_2.6.0.1-1build2_ppc64el.deb 03-Sep-2019 06:43 28840828
libghc-agda-dev_2.6.0.1-1build2_s390x.deb 03-Sep-2019 06:43 29990036
libghc-agda-dev_2.6.1-1build1_amd64.deb 27-Aug-2020 00:48 37928612
libghc-agda-dev_2.6.1-1build1_ppc64el.deb 27-Aug-2020 01:54 55957728
libghc-agda-dev_2.6.1-1build1_riscv64.deb 28-Aug-2020 18:08 77942020
libghc-agda-dev_2.6.1-1build1_s390x.deb 27-Aug-2020 02:08 57491880
libghc-agda-dev_2.6.1-1build2.1_amd64.deb 16-Sep-2021 08:28 40255774
libghc-agda-dev_2.6.1-1build2.1_ppc64el.deb 16-Sep-2021 08:43 65653474
libghc-agda-dev_2.6.1-1build2.1_riscv64.deb 17-Sep-2021 21:33 94411564
libghc-agda-dev_2.6.1-1build2.1_s390x.deb 16-Sep-2021 08:58 68699950
libghc-agda-dev_2.6.1-1build2_amd64.deb 05-Nov-2020 02:43 37913588
libghc-agda-dev_2.6.1-1build2_ppc64el.deb 18-Nov-2020 22:28 55812924
libghc-agda-dev_2.6.1-1build2_riscv64.deb 06-Nov-2020 15:03 78004268
libghc-agda-dev_2.6.1-1build2_s390x.deb 05-Nov-2020 05:24 57492248
libghc-agda-dev_2.6.2.2-1_amd64.deb 26-Aug-2022 16:14 26727928
libghc-agda-dev_2.6.2.2-1_ppc64el.deb 26-Aug-2022 16:39 43028988
libghc-agda-dev_2.6.2.2-1_riscv64.deb 28-Aug-2022 05:33 62603220
libghc-agda-dev_2.6.2.2-1_s390x.deb 26-Aug-2022 17:39 47306040
libghc-agda-doc_2.2.10-3build1_all.deb 09-Jul-2011 22:06 1461100
libghc-agda-doc_2.3.0.1-1build2_all.deb 21-Apr-2012 17:03 1687042
libghc-agda-doc_2.3.0.1-2build1_all.deb 27-Aug-2012 12:33 1768608
libghc-agda-doc_2.3.2-1_all.deb 10-Apr-2013 18:03 2184674
libghc-agda-doc_2.3.2.1-1_all.deb 17-Jun-2013 00:03 2183424
libghc-agda-doc_2.4.0.2-2_all.deb 11-Aug-2014 16:53 1929500
libghc-agda-doc_2.4.0.2-2build1_all.deb 29-Oct-2014 18:00 1896056
libghc-agda-doc_2.4.2.2-4build1_all.deb 16-Aug-2015 09:23 2029482
libghc-agda-doc_2.5.1-2build2_all.deb 15-May-2018 06:53 2369772
libghc-agda-doc_2.5.1.1-3build3_all.deb 27-Jan-2017 08:03 2560524
libghc-agda-doc_2.5.2-2build1_all.deb 15-Jul-2017 12:08 2644788
libghc-agda-doc_2.5.3-5build3_all.deb 05-Jul-2018 08:58 2647288
libghc-agda-doc_2.5.4.1-3_all.deb 14-Dec-2018 10:58 3667124
libghc-agda-doc_2.6.0.1-1build2_all.deb 03-Sep-2019 06:23 4207188
libghc-agda-doc_2.6.1-1build1_all.deb 27-Aug-2020 00:48 5767640
libghc-agda-doc_2.6.1-1build2.1_all.deb 16-Sep-2021 08:28 5403312
libghc-agda-doc_2.6.1-1build2_all.deb 05-Nov-2020 02:43 5768200
libghc-agda-doc_2.6.2.2-1_all.deb 26-Aug-2022 16:14 5999080
libghc6-agda-dev_2.2.10-1~ubuntu1_amd64.deb 24-Feb-2011 22:05 11080296
libghc6-agda-dev_2.2.10-1~ubuntu1_i386.deb 24-Feb-2011 19:06 10491918
libghc6-agda-dev_2.2.10-1~ubuntu1_powerpc.deb 26-Feb-2011 22:04 14468678
libghc6-agda-dev_2.2.4+dfsg-1_amd64.deb 24-Aug-2009 13:05 8674766
libghc6-agda-dev_2.2.4+dfsg-1_i386.deb 24-Aug-2009 13:05 8276890
libghc6-agda-dev_2.2.4+dfsg-1_lpia.deb 24-Aug-2009 13:05 8276650
libghc6-agda-dev_2.2.4+dfsg-1_powerpc.deb 24-Aug-2009 13:06 11462814
libghc6-agda-dev_2.2.4+dfsg-1_sparc.deb 24-Aug-2009 18:44 15189130
libghc6-agda-dev_2.2.6-3_amd64.deb 04-Mar-2010 15:05 10040708
libghc6-agda-dev_2.2.6-3_armel.deb 18-Apr-2010 12:04 16648658
libghc6-agda-dev_2.2.6-3_i386.deb 04-Mar-2010 15:06 9533248
libghc6-agda-dev_2.2.6-3_powerpc.deb 04-Mar-2010 16:05 13176630
libghc6-agda-dev_2.2.6-3_sparc.deb 05-Mar-2010 06:05 17717096
libghc6-agda-dev_2.2.6-7build1_amd64.deb 26-May-2010 12:05 10043566
libghc6-agda-dev_2.2.6-7build1_armel.deb 04-Jul-2010 13:09 16641564
libghc6-agda-dev_2.2.6-7build1_i386.deb 26-May-2010 09:05 9532610
libghc6-agda-dev_2.2.6-7build1_powerpc.deb 26-May-2010 10:05 13177438
libghc6-agda-dev_2.2.6-7build2_armel.deb 12-Feb-2011 20:04 17795384
libghc6-agda-doc_2.2.10-1~ubuntu1_all.deb 24-Feb-2011 19:05 1253930
libghc6-agda-doc_2.2.6-7build1_all.deb 26-May-2010 09:04 1058914
libghc6-agda-prof_2.2.4+dfsg-1_amd64.deb 24-Aug-2009 13:05 13326284
libghc6-agda-prof_2.2.4+dfsg-1_i386.deb 24-Aug-2009 13:05 12291576
libghc6-agda-prof_2.2.4+dfsg-1_lpia.deb 24-Aug-2009 13:05 12291846
libghc6-agda-prof_2.2.4+dfsg-1_powerpc.deb 24-Aug-2009 13:06 18807886
libghc6-agda-prof_2.2.4+dfsg-1_sparc.deb 24-Aug-2009 18:44 19704204
libghc6-agda-prof_2.2.6-3_amd64.deb 04-Mar-2010 15:05 14864950
libghc6-agda-prof_2.2.6-3_armel.deb 18-Apr-2010 12:04 20598618
libghc6-agda-prof_2.2.6-3_i386.deb 04-Mar-2010 15:06 13616256
libghc6-agda-prof_2.2.6-3_powerpc.deb 04-Mar-2010 16:05 20912782
libghc6-agda-prof_2.2.6-3_sparc.deb 05-Mar-2010 06:05 22305040