Index of /ubuntu/packages/pool/universe/a/aac-tactics/
../
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_i386.deb 20-Jan-2014 11:33 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_i386.deb 05-Nov-2015 00:34 43K
libaac-tactics-ocaml-dev_8.11.0-1_amd64.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.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_i386.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_i386.deb 20-Jan-2014 11:33 114K
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_i386.deb 05-Nov-2015 00:34 109K
libaac-tactics-ocaml_8.11.0-1_amd64.deb 18-Mar-2020 19:48 104K
libaac-tactics-ocaml_8.15.0-1_amd64.deb 06-Feb-2022 19:04 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_i386.deb 01-Nov-2017 13:05 108K
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-2build1_amd64.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.19.1-2build3_amd64.deb 07-Sep-2024 15:44 430K
libcoq-aac-tactics_8.20.0-1_amd64.deb 20-Nov-2024 21:31 421K