Index of /ubuntu/packages/pool/universe/a/aac-tactics/
../
aac-tactics_0.4-2.debian.tar.xz 20-Jan-2014 11:09 2884
aac-tactics_0.4-2.dsc 20-Jan-2014 11:09 2191
aac-tactics_0.4-5build2.debian.tar.xz 05-Nov-2015 00:30 3076
aac-tactics_0.4-5build2.dsc 05-Nov-2015 00:30 1914
aac-tactics_0.4.orig.tar.gz 06-Dec-2013 17:23 76K
aac-tactics_8.11.0-1.debian.tar.xz 18-Mar-2020 18:28 3520
aac-tactics_8.11.0-1.dsc 18-Mar-2020 18:28 2178
aac-tactics_8.11.0.orig.tar.gz 18-Mar-2020 18:28 64K
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 73K
libaac-tactics-coq_0.2.pl2-2build1_all.deb 25-Aug-2011 11:03 298K
libaac-tactics-coq_0.2.pl2-4build1_all.deb 08-Jan-2012 15:33 309K
libaac-tactics-coq_0.2.pl2-7_all.deb 10-Jun-2012 17:34 312K
libaac-tactics-coq_0.3.pl1-1_all.deb 09-May-2013 17:33 287K
libaac-tactics-coq_0.4-2_all.deb 20-Jan-2014 11:33 208K
libaac-tactics-coq_0.4-3_all.deb 30-Jul-2014 17:45 208K
libaac-tactics-coq_0.4-4_all.deb 10-Aug-2015 23:24 208K
libaac-tactics-coq_0.4-5build2_all.deb 05-Nov-2015 00:33 208K
libaac-tactics-coq_8.11.0-1_all.deb 18-Mar-2020 19:48 238K
libaac-tactics-coq_8.15.0-1_all.deb 06-Feb-2022 19:04 282K
libaac-tactics-coq_8.6.1-1_all.deb 30-Dec-2016 17:23 215K
libaac-tactics-coq_8.6.1-1build4_all.deb 31-Aug-2017 01:24 216K
libaac-tactics-coq_8.6.1-2_all.deb 01-Nov-2017 13:05 216K
libaac-tactics-coq_8.8.0+1.gbp069dc3b-1build4_a..> 21-Aug-2019 17:18 214K
libaac-tactics-ocaml-dev_0.2.pl2-2build1_amd64.deb 25-Aug-2011 11:03 133K
libaac-tactics-ocaml-dev_0.2.pl2-2build1_i386.deb 25-Aug-2011 11:04 127K
libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd64.deb 08-Jan-2012 15:33 133K
libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386.deb 08-Jan-2012 15:33 127K
libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb 10-Jun-2012 17:34 133K
libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb 10-Jun-2012 17:35 130K
libaac-tactics-ocaml-dev_0.3.pl1-1_amd64.deb 09-May-2013 17:33 61K
libaac-tactics-ocaml-dev_0.3.pl1-1_i386.deb 09-May-2013 17:34 62K
libaac-tactics-ocaml-dev_0.4-2_amd64.deb 20-Jan-2014 11:33 43K
libaac-tactics-ocaml-dev_0.4-2_arm64.deb 20-Jan-2014 11:33 43K
libaac-tactics-ocaml-dev_0.4-2_armhf.deb 20-Jan-2014 11:33 43K
libaac-tactics-ocaml-dev_0.4-2_i386.deb 20-Jan-2014 11:33 43K
libaac-tactics-ocaml-dev_0.4-2_powerpc.deb 20-Jan-2014 11:33 43K
libaac-tactics-ocaml-dev_0.4-2_ppc64el.deb 17-Feb-2014 22:44 43K
libaac-tactics-ocaml-dev_0.4-3_amd64.deb 30-Jul-2014 18:37 44K
libaac-tactics-ocaml-dev_0.4-3_i386.deb 30-Jul-2014 17:45 43K
libaac-tactics-ocaml-dev_0.4-4_amd64.deb 10-Aug-2015 23:24 43K
libaac-tactics-ocaml-dev_0.4-4_i386.deb 10-Aug-2015 23:24 43K
libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb 05-Nov-2015 00:33 43K
libaac-tactics-ocaml-dev_0.4-5build2_arm64.deb 05-Nov-2015 00:34 43K
libaac-tactics-ocaml-dev_0.4-5build2_armhf.deb 05-Nov-2015 00:34 43K
libaac-tactics-ocaml-dev_0.4-5build2_i386.deb 05-Nov-2015 00:34 43K
libaac-tactics-ocaml-dev_0.4-5build2_powerpc.deb 05-Nov-2015 00:34 43K
libaac-tactics-ocaml-dev_0.4-5build2_ppc64el.deb 05-Nov-2015 03:49 43K
libaac-tactics-ocaml-dev_0.4-5build2_s390x.deb 05-Jan-2016 17:05 43K
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb 18-Mar-2020 19:48 38K
libaac-tactics-ocaml-dev_8.11.0-1_arm64.deb 18-Mar-2020 19:48 38K
libaac-tactics-ocaml-dev_8.11.0-1_ppc64el.deb 18-Mar-2020 19:48 38K
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb 06-Feb-2022 19:04 40K
libaac-tactics-ocaml-dev_8.15.0-1_arm64.deb 06-Feb-2022 19:05 40K
libaac-tactics-ocaml-dev_8.15.0-1_armhf.deb 06-Feb-2022 19:05 40K
libaac-tactics-ocaml-dev_8.15.1-6_amd64.deb 12-Jun-2022 17:24 39K
libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb 30-Dec-2016 17:23 37K
libaac-tactics-ocaml-dev_8.6.1-1_i386.deb 30-Dec-2016 17:24 37K
libaac-tactics-ocaml-dev_8.6.1-1build4_amd64.deb 31-Aug-2017 01:24 37K
libaac-tactics-ocaml-dev_8.6.1-1build4_i386.deb 31-Aug-2017 01:24 37K
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb 01-Nov-2017 13:05 37K
libaac-tactics-ocaml-dev_8.6.1-2_arm64.deb 01-Nov-2017 13:05 37K
libaac-tactics-ocaml-dev_8.6.1-2_armhf.deb 01-Nov-2017 14:20 37K
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb 01-Nov-2017 13:05 37K
libaac-tactics-ocaml-dev_8.6.1-2_ppc64el.deb 01-Nov-2017 13:05 37K
libaac-tactics-ocaml-dev_8.6.1-2_s390x.deb 01-Nov-2017 13:05 37K
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1bu..> 21-Aug-2019 17:18 37K
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1bu..> 21-Aug-2019 17:18 37K
libaac-tactics-ocaml_0.2.pl2-2build1_amd64.deb 25-Aug-2011 11:03 140K
libaac-tactics-ocaml_0.2.pl2-2build1_i386.deb 25-Aug-2011 11:04 122K
libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb 08-Jan-2012 15:33 139K
libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb 08-Jan-2012 15:33 122K
libaac-tactics-ocaml_0.2.pl2-7_amd64.deb 10-Jun-2012 17:34 139K
libaac-tactics-ocaml_0.2.pl2-7_i386.deb 10-Jun-2012 17:35 122K
libaac-tactics-ocaml_0.3.pl1-1_amd64.deb 09-May-2013 17:33 139K
libaac-tactics-ocaml_0.3.pl1-1_i386.deb 09-May-2013 17:34 121K
libaac-tactics-ocaml_0.4-2_amd64.deb 20-Jan-2014 11:33 125K
libaac-tactics-ocaml_0.4-2_arm64.deb 20-Jan-2014 11:33 27K
libaac-tactics-ocaml_0.4-2_armhf.deb 20-Jan-2014 11:33 121K
libaac-tactics-ocaml_0.4-2_i386.deb 20-Jan-2014 11:33 114K
libaac-tactics-ocaml_0.4-2_powerpc.deb 20-Jan-2014 11:33 111K
libaac-tactics-ocaml_0.4-2_ppc64el.deb 17-Feb-2014 22:44 27K
libaac-tactics-ocaml_0.4-3_amd64.deb 30-Jul-2014 18:37 125K
libaac-tactics-ocaml_0.4-3_i386.deb 30-Jul-2014 17:45 114K
libaac-tactics-ocaml_0.4-4_amd64.deb 10-Aug-2015 23:24 125K
libaac-tactics-ocaml_0.4-4_i386.deb 10-Aug-2015 23:24 114K
libaac-tactics-ocaml_0.4-5build2_amd64.deb 05-Nov-2015 00:33 117K
libaac-tactics-ocaml_0.4-5build2_arm64.deb 05-Nov-2015 00:34 111K
libaac-tactics-ocaml_0.4-5build2_armhf.deb 05-Nov-2015 00:34 115K
libaac-tactics-ocaml_0.4-5build2_i386.deb 05-Nov-2015 00:34 109K
libaac-tactics-ocaml_0.4-5build2_powerpc.deb 05-Nov-2015 00:34 106K
libaac-tactics-ocaml_0.4-5build2_ppc64el.deb 05-Nov-2015 03:49 28K
libaac-tactics-ocaml_0.4-5build2_s390x.deb 05-Jan-2016 17:05 28K
libaac-tactics-ocaml_8.11.0-1_amd64.deb 18-Mar-2020 19:48 104K
libaac-tactics-ocaml_8.11.0-1_arm64.deb 18-Mar-2020 19:48 118K
libaac-tactics-ocaml_8.11.0-1_ppc64el.deb 18-Mar-2020 19:48 111K
libaac-tactics-ocaml_8.15.0-1_amd64.deb 06-Feb-2022 19:04 128K
libaac-tactics-ocaml_8.15.0-1_arm64.deb 06-Feb-2022 19:05 147K
libaac-tactics-ocaml_8.15.0-1_armhf.deb 06-Feb-2022 19:05 128K
libaac-tactics-ocaml_8.15.1-6_amd64.deb 12-Jun-2022 17:24 123K
libaac-tactics-ocaml_8.6.1-1_amd64.deb 30-Dec-2016 17:23 107K
libaac-tactics-ocaml_8.6.1-1_i386.deb 30-Dec-2016 17:24 101K
libaac-tactics-ocaml_8.6.1-1build4_amd64.deb 31-Aug-2017 01:24 118K
libaac-tactics-ocaml_8.6.1-1build4_i386.deb 31-Aug-2017 01:24 107K
libaac-tactics-ocaml_8.6.1-2_amd64.deb 01-Nov-2017 13:05 117K
libaac-tactics-ocaml_8.6.1-2_arm64.deb 01-Nov-2017 13:05 133K
libaac-tactics-ocaml_8.6.1-2_armhf.deb 01-Nov-2017 14:20 114K
libaac-tactics-ocaml_8.6.1-2_i386.deb 01-Nov-2017 13:05 108K
libaac-tactics-ocaml_8.6.1-2_ppc64el.deb 01-Nov-2017 13:05 124K
libaac-tactics-ocaml_8.6.1-2_s390x.deb 01-Nov-2017 13:05 120K
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4..> 21-Aug-2019 17:18 118K
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4..> 21-Aug-2019 17:18 108K
libcoq-aac-tactics_8.15.1-6_amd64.deb 12-Jun-2022 17:24 282K
libcoq-aac-tactics_8.17.0-1build2_amd64.deb 16-Feb-2023 12:57 415K
libcoq-aac-tactics_8.17.0-1build2_arm64.deb 16-Feb-2023 12:57 433K
libcoq-aac-tactics_8.17.0-1build2_armhf.deb 16-Feb-2023 12:58 416K
libcoq-aac-tactics_8.17.0-2build1_amd64.deb 24-Jul-2023 20:24 415K
libcoq-aac-tactics_8.17.0-2build1_arm64.deb 24-Jul-2023 20:24 432K
libcoq-aac-tactics_8.17.0-2build1_armhf.deb 24-Jul-2023 20:24 415K
libcoq-aac-tactics_8.18.0-1build3_amd64.deb 08-Apr-2024 07:57 412K
libcoq-aac-tactics_8.18.0-1build3_arm64.deb 08-Apr-2024 07:57 429K
libcoq-aac-tactics_8.18.0-1build3_armhf.deb 08-Apr-2024 07:57 411K
libcoq-aac-tactics_8.19.0-1build1_amd64.deb 13-May-2024 18:40 421K
libcoq-aac-tactics_8.19.0-1build1_arm64.deb 13-May-2024 18:40 438K
libcoq-aac-tactics_8.19.0-1build1_armhf.deb 13-May-2024 18:40 420K