Index of /ubuntu-old-releases/ubuntu/pool/universe/a/aac-tactics/
../
aac-tactics_0.2.pl2-2build1.debian.tar.gz 25-Aug-2011 11:03 2585
aac-tactics_0.2.pl2-2build1.dsc 25-Aug-2011 11:03 1459
aac-tactics_0.2.pl2-4build1.debian.tar.gz 08-Jan-2012 15:33 2724
aac-tactics_0.2.pl2-4build1.dsc 08-Jan-2012 15:33 2240
aac-tactics_0.2.pl2-7.debian.tar.gz 10-Jun-2012 17:04 2746
aac-tactics_0.2.pl2-7.dsc 10-Jun-2012 17:04 2218
aac-tactics_0.2.pl2.orig.tar.gz 04-May-2011 14:11 77409
aac-tactics_0.3.pl1-1.debian.tar.gz 09-May-2013 17:33 3034
aac-tactics_0.3.pl1-1.dsc 09-May-2013 17:33 2225
aac-tactics_0.3.pl1.orig.tar.gz 09-May-2013 17:33 74167
aac-tactics_0.4-3.debian.tar.xz 30-Jul-2014 17:44 2960
aac-tactics_0.4-3.dsc 30-Jul-2014 17:44 2231
aac-tactics_0.4-4.debian.tar.xz 10-Aug-2015 23:23 2952
aac-tactics_0.4-4.dsc 10-Aug-2015 23:23 2238
aac-tactics_0.4.orig.tar.gz 06-Dec-2013 17:23 77336
aac-tactics_8.15.1-6.debian.tar.xz 12-Jun-2022 17:24 3824
aac-tactics_8.15.1-6.dsc 12-Jun-2022 17:24 2262
aac-tactics_8.15.1.orig.tar.gz 30-Apr-2022 01:03 68294
aac-tactics_8.6.1-1.debian.tar.xz 30-Dec-2016 17:13 3220
aac-tactics_8.6.1-1.dsc 30-Dec-2016 17:13 2217
aac-tactics_8.6.1-1build4.debian.tar.xz 31-Aug-2017 01:24 3452
aac-tactics_8.6.1-1build4.dsc 31-Aug-2017 01:24 1974
aac-tactics_8.6.1-2.debian.tar.xz 01-Nov-2017 13:05 3248
aac-tactics_8.6.1-2.dsc 01-Nov-2017 13:05 2238
aac-tactics_8.6.1.orig.tar.gz 30-Dec-2016 17:13 75073
aac-tactics_8.8.0+1.gbp069dc3b-1build4.debian.t..> 21-Aug-2019 17:08 3632
aac-tactics_8.8.0+1.gbp069dc3b-1build4.dsc 21-Aug-2019 17:08 2301
aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz 18-Feb-2019 11:08 65943
libaac-tactics-coq_0.2.pl2-2build1_all.deb 25-Aug-2011 11:03 304850
libaac-tactics-coq_0.2.pl2-4build1_all.deb 08-Jan-2012 15:33 315944
libaac-tactics-coq_0.2.pl2-7_all.deb 10-Jun-2012 17:34 319622
libaac-tactics-coq_0.3.pl1-1_all.deb 09-May-2013 17:33 294016
libaac-tactics-coq_0.4-3_all.deb 30-Jul-2014 17:45 212548
libaac-tactics-coq_0.4-4_all.deb 10-Aug-2015 23:24 212686
libaac-tactics-coq_8.6.1-1_all.deb 30-Dec-2016 17:23 220570
libaac-tactics-coq_8.6.1-1build4_all.deb 31-Aug-2017 01:24 220684
libaac-tactics-coq_8.6.1-2_all.deb 01-Nov-2017 13:05 220796
libaac-tactics-coq_8.8.0+1.gbp069dc3b-1build4_a..> 21-Aug-2019 17:18 219500
libaac-tactics-ocaml-dev_0.2.pl2-2build1_amd64.deb 25-Aug-2011 11:03 136684
libaac-tactics-ocaml-dev_0.2.pl2-2build1_armel.deb 25-Aug-2011 11:04 143118
libaac-tactics-ocaml-dev_0.2.pl2-2build1_i386.deb 25-Aug-2011 11:04 130058
libaac-tactics-ocaml-dev_0.2.pl2-2build1_powerp..> 25-Aug-2011 11:04 158618
libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd64.deb 08-Jan-2012 15:33 136018
libaac-tactics-ocaml-dev_0.2.pl2-4build1_armel.deb 08-Jan-2012 16:03 144946
libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386.deb 08-Jan-2012 15:33 129942
libaac-tactics-ocaml-dev_0.2.pl2-4build1_powerp..> 09-Jan-2012 00:03 158356
libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb 10-Jun-2012 17:34 136428
libaac-tactics-ocaml-dev_0.2.pl2-7_armel.deb 10-Jun-2012 17:34 143018
libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb 10-Jun-2012 17:35 133534
libaac-tactics-ocaml-dev_0.2.pl2-7_powerpc.deb 11-Jun-2012 23:34 164206
libaac-tactics-ocaml-dev_0.3.pl1-1_amd64.deb 09-May-2013 17:33 62408
libaac-tactics-ocaml-dev_0.3.pl1-1_i386.deb 09-May-2013 17:34 63840
libaac-tactics-ocaml-dev_0.3.pl1-1_powerpc.deb 09-May-2013 18:04 61210
libaac-tactics-ocaml-dev_0.4-3_amd64.deb 30-Jul-2014 18:37 44794
libaac-tactics-ocaml-dev_0.4-3_arm64.deb 30-Jul-2014 18:38 44338
libaac-tactics-ocaml-dev_0.4-3_armhf.deb 30-Jul-2014 18:39 44544
libaac-tactics-ocaml-dev_0.4-3_i386.deb 30-Jul-2014 17:45 44490
libaac-tactics-ocaml-dev_0.4-3_powerpc.deb 30-Jul-2014 18:40 44316
libaac-tactics-ocaml-dev_0.4-3_ppc64el.deb 30-Jul-2014 17:45 44432
libaac-tactics-ocaml-dev_0.4-4_amd64.deb 10-Aug-2015 23:24 44516
libaac-tactics-ocaml-dev_0.4-4_arm64.deb 11-Aug-2015 03:38 44312
libaac-tactics-ocaml-dev_0.4-4_armhf.deb 10-Aug-2015 23:24 44516
libaac-tactics-ocaml-dev_0.4-4_i386.deb 10-Aug-2015 23:24 44496
libaac-tactics-ocaml-dev_0.4-4_powerpc.deb 10-Aug-2015 23:24 44584
libaac-tactics-ocaml-dev_0.4-4_ppc64el.deb 10-Aug-2015 23:24 44376
libaac-tactics-ocaml-dev_8.15.1-6_amd64.deb 12-Jun-2022 17:24 40156
libaac-tactics-ocaml-dev_8.15.1-6_arm64.deb 12-Jun-2022 17:44 40150
libaac-tactics-ocaml-dev_8.15.1-6_armhf.deb 12-Jun-2022 17:44 40156
libaac-tactics-ocaml-dev_8.15.1-6_ppc64el.deb 12-Jun-2022 17:24 40156
libaac-tactics-ocaml-dev_8.15.1-6_riscv64.deb 12-Jun-2022 18:04 40158
libaac-tactics-ocaml-dev_8.15.1-6_s390x.deb 12-Jun-2022 17:24 40154
libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb 30-Dec-2016 17:23 38208
libaac-tactics-ocaml-dev_8.6.1-1_arm64.deb 30-Dec-2016 17:24 38206
libaac-tactics-ocaml-dev_8.6.1-1_armhf.deb 30-Dec-2016 17:24 38206
libaac-tactics-ocaml-dev_8.6.1-1_i386.deb 30-Dec-2016 17:24 38204
libaac-tactics-ocaml-dev_8.6.1-1_ppc64el.deb 30-Dec-2016 17:24 38184
libaac-tactics-ocaml-dev_8.6.1-1_s390x.deb 30-Dec-2016 17:24 38184
libaac-tactics-ocaml-dev_8.6.1-1build4_amd64.deb 31-Aug-2017 01:24 37794
libaac-tactics-ocaml-dev_8.6.1-1build4_armhf.deb 31-Aug-2017 01:24 37792
libaac-tactics-ocaml-dev_8.6.1-1build4_i386.deb 31-Aug-2017 01:24 37790
libaac-tactics-ocaml-dev_8.6.1-1build4_ppc64el.deb 31-Aug-2017 01:24 37794
libaac-tactics-ocaml-dev_8.6.1-1build4_s390x.deb 31-Aug-2017 01:24 37792
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb 01-Nov-2017 13:05 37684
libaac-tactics-ocaml-dev_8.6.1-2_arm64.deb 01-Nov-2017 13:05 37684
libaac-tactics-ocaml-dev_8.6.1-2_armhf.deb 01-Nov-2017 14:20 37688
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb 01-Nov-2017 13:05 37688
libaac-tactics-ocaml-dev_8.6.1-2_ppc64el.deb 01-Nov-2017 13:05 37688
libaac-tactics-ocaml-dev_8.6.1-2_s390x.deb 01-Nov-2017 13:05 37684
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1bu..> 21-Aug-2019 17:18 37628
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1bu..> 21-Aug-2019 17:18 37632
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1bu..> 21-Aug-2019 17:18 37632
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1bu..> 21-Aug-2019 17:18 37628
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1bu..> 21-Aug-2019 17:18 37632
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1bu..> 21-Aug-2019 17:08 37632
libaac-tactics-ocaml_0.2.pl2-2build1_amd64.deb 25-Aug-2011 11:03 143078
libaac-tactics-ocaml_0.2.pl2-2build1_armel.deb 25-Aug-2011 11:04 32918
libaac-tactics-ocaml_0.2.pl2-2build1_i386.deb 25-Aug-2011 11:04 124576
libaac-tactics-ocaml_0.2.pl2-2build1_powerpc.deb 25-Aug-2011 11:04 145912
libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb 08-Jan-2012 15:33 142350
libaac-tactics-ocaml_0.2.pl2-4build1_armel.deb 08-Jan-2012 16:03 33040
libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb 08-Jan-2012 15:33 124452
libaac-tactics-ocaml_0.2.pl2-4build1_powerpc.deb 09-Jan-2012 00:03 145686
libaac-tactics-ocaml_0.2.pl2-7_amd64.deb 10-Jun-2012 17:34 142412
libaac-tactics-ocaml_0.2.pl2-7_armel.deb 10-Jun-2012 17:34 33114
libaac-tactics-ocaml_0.2.pl2-7_i386.deb 10-Jun-2012 17:35 124570
libaac-tactics-ocaml_0.2.pl2-7_powerpc.deb 11-Jun-2012 23:34 145814
libaac-tactics-ocaml_0.3.pl1-1_amd64.deb 09-May-2013 17:33 142054
libaac-tactics-ocaml_0.3.pl1-1_i386.deb 09-May-2013 17:34 124064
libaac-tactics-ocaml_0.3.pl1-1_powerpc.deb 09-May-2013 18:04 145592
libaac-tactics-ocaml_0.4-3_amd64.deb 30-Jul-2014 18:37 127716
libaac-tactics-ocaml_0.4-3_arm64.deb 30-Jul-2014 18:38 27288
libaac-tactics-ocaml_0.4-3_armhf.deb 30-Jul-2014 18:39 124424
libaac-tactics-ocaml_0.4-3_i386.deb 30-Jul-2014 17:45 117098
libaac-tactics-ocaml_0.4-3_powerpc.deb 30-Jul-2014 18:40 113724
libaac-tactics-ocaml_0.4-3_ppc64el.deb 30-Jul-2014 17:45 27264
libaac-tactics-ocaml_0.4-4_amd64.deb 10-Aug-2015 23:24 127978
libaac-tactics-ocaml_0.4-4_arm64.deb 11-Aug-2015 03:38 27244
libaac-tactics-ocaml_0.4-4_armhf.deb 10-Aug-2015 23:24 124668
libaac-tactics-ocaml_0.4-4_i386.deb 10-Aug-2015 23:24 117032
libaac-tactics-ocaml_0.4-4_powerpc.deb 10-Aug-2015 23:24 113934
libaac-tactics-ocaml_0.4-4_ppc64el.deb 10-Aug-2015 23:24 27278
libaac-tactics-ocaml_8.15.1-6_amd64.deb 12-Jun-2022 17:24 126162
libaac-tactics-ocaml_8.15.1-6_arm64.deb 12-Jun-2022 17:44 143356
libaac-tactics-ocaml_8.15.1-6_armhf.deb 12-Jun-2022 17:44 126572
libaac-tactics-ocaml_8.15.1-6_ppc64el.deb 12-Jun-2022 17:24 132912
libaac-tactics-ocaml_8.15.1-6_riscv64.deb 12-Jun-2022 18:04 126936
libaac-tactics-ocaml_8.15.1-6_s390x.deb 12-Jun-2022 17:24 132056
libaac-tactics-ocaml_8.6.1-1_amd64.deb 30-Dec-2016 17:23 109770
libaac-tactics-ocaml_8.6.1-1_arm64.deb 30-Dec-2016 17:24 107168
libaac-tactics-ocaml_8.6.1-1_armhf.deb 30-Dec-2016 17:24 107298
libaac-tactics-ocaml_8.6.1-1_i386.deb 30-Dec-2016 17:24 102940
libaac-tactics-ocaml_8.6.1-1_ppc64el.deb 30-Dec-2016 17:24 26404
libaac-tactics-ocaml_8.6.1-1_s390x.deb 30-Dec-2016 17:24 26404
libaac-tactics-ocaml_8.6.1-1build4_amd64.deb 31-Aug-2017 01:24 120634
libaac-tactics-ocaml_8.6.1-1build4_armhf.deb 31-Aug-2017 01:24 126074
libaac-tactics-ocaml_8.6.1-1build4_i386.deb 31-Aug-2017 01:24 109972
libaac-tactics-ocaml_8.6.1-1build4_ppc64el.deb 31-Aug-2017 01:24 124268
libaac-tactics-ocaml_8.6.1-1build4_s390x.deb 31-Aug-2017 01:24 121936
libaac-tactics-ocaml_8.6.1-2_amd64.deb 01-Nov-2017 13:05 120296
libaac-tactics-ocaml_8.6.1-2_arm64.deb 01-Nov-2017 13:05 136604
libaac-tactics-ocaml_8.6.1-2_armhf.deb 01-Nov-2017 14:20 117124
libaac-tactics-ocaml_8.6.1-2_i386.deb 01-Nov-2017 13:05 110796
libaac-tactics-ocaml_8.6.1-2_ppc64el.deb 01-Nov-2017 13:05 127472
libaac-tactics-ocaml_8.6.1-2_s390x.deb 01-Nov-2017 13:05 123128
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4..> 21-Aug-2019 17:18 120820
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4..> 21-Aug-2019 17:18 135456
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4..> 21-Aug-2019 17:18 116796
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4..> 21-Aug-2019 17:18 110604
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4..> 21-Aug-2019 17:18 129028
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4..> 21-Aug-2019 17:08 122668
libcoq-aac-tactics_8.15.1-6_amd64.deb 12-Jun-2022 17:24 289168
libcoq-aac-tactics_8.15.1-6_arm64.deb 12-Jun-2022 17:44 289170
libcoq-aac-tactics_8.15.1-6_armhf.deb 12-Jun-2022 17:44 288704
libcoq-aac-tactics_8.15.1-6_ppc64el.deb 12-Jun-2022 17:24 289220
libcoq-aac-tactics_8.15.1-6_riscv64.deb 12-Jun-2022 18:04 289226
libcoq-aac-tactics_8.15.1-6_s390x.deb 12-Jun-2022 17:24 289202