Index of /ubuntu/pool/universe/a/aac-tactics/
../
aac-tactics_0.2.pl2-2build1.debian.tar.gz 25-Aug-2011 19:03 2585
aac-tactics_0.2.pl2-2build1.dsc 25-Aug-2011 19:03 1459
aac-tactics_0.2.pl2-4build1.debian.tar.gz 08-Jan-2012 23:33 2724
aac-tactics_0.2.pl2-4build1.dsc 08-Jan-2012 23:33 2240
aac-tactics_0.2.pl2-6.debian.tar.gz 01-May-2012 07:48 2720
aac-tactics_0.2.pl2-6.dsc 01-May-2012 07:48 2218
aac-tactics_0.2.pl2-7.debian.tar.gz 11-Jun-2012 01:04 2746
aac-tactics_0.2.pl2-7.dsc 11-Jun-2012 01:04 2218
aac-tactics_0.2.pl2.orig.tar.gz 04-May-2011 22:11 76K
aac-tactics_0.4-2.debian.tar.xz 20-Jan-2014 19:09 2884
aac-tactics_0.4-2.dsc 20-Jan-2014 19:09 2191
aac-tactics_0.4-5build2.debian.tar.xz 05-Nov-2015 08:30 3076
aac-tactics_0.4-5build2.dsc 05-Nov-2015 08:30 1914
aac-tactics_0.4-5build3.debian.tar.xz 12-Feb-2016 20:24 3128
aac-tactics_0.4-5build3.dsc 12-Feb-2016 20:24 2262
aac-tactics_0.4.orig.tar.gz 07-Dec-2013 01:23 76K
aac-tactics_8.11.0-1.debian.tar.xz 19-Mar-2020 02:28 3520
aac-tactics_8.11.0-1.dsc 19-Mar-2020 02:28 2178
aac-tactics_8.11.0.orig.tar.gz 19-Mar-2020 02:28 64K
aac-tactics_8.15.0-1.debian.tar.xz 07-Feb-2022 01:19 3600
aac-tactics_8.15.0-1.dsc 07-Feb-2022 01:19 2209
aac-tactics_8.15.0.orig.tar.gz 07-Feb-2022 01:19 67K
libaac-tactics-coq_0.2.pl2-2build1_all.deb 25-Aug-2011 19:03 298K
libaac-tactics-coq_0.2.pl2-4build1_all.deb 08-Jan-2012 23:33 309K
libaac-tactics-coq_0.2.pl2-6_all.deb 01-May-2012 07:58 311K
libaac-tactics-coq_0.2.pl2-7_all.deb 11-Jun-2012 01:34 312K
libaac-tactics-coq_0.4-2_all.deb 20-Jan-2014 19:33 208K
libaac-tactics-coq_0.4-5build2_all.deb 05-Nov-2015 08:33 208K
libaac-tactics-coq_8.11.0-1_all.deb 19-Mar-2020 03:48 238K
libaac-tactics-coq_8.15.0-1_all.deb 07-Feb-2022 03:04 282K
libaac-tactics-ocaml-dev_0.2.pl2-2build1_amd64.deb 25-Aug-2011 19:03 133K
libaac-tactics-ocaml-dev_0.2.pl2-2build1_i386.deb 25-Aug-2011 19:04 127K
libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd64.deb 08-Jan-2012 23:33 133K
libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386.deb 08-Jan-2012 23:33 127K
libaac-tactics-ocaml-dev_0.2.pl2-6_amd64.deb 01-May-2012 07:58 133K
libaac-tactics-ocaml-dev_0.2.pl2-6_i386.deb 01-May-2012 08:09 132K
libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb 11-Jun-2012 01:34 133K
libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb 11-Jun-2012 01:35 130K
libaac-tactics-ocaml-dev_0.4-2_amd64.deb 20-Jan-2014 19:33 43K
libaac-tactics-ocaml-dev_0.4-2_i386.deb 20-Jan-2014 19:33 43K
libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb 05-Nov-2015 08:33 43K
libaac-tactics-ocaml-dev_0.4-5build2_i386.deb 05-Nov-2015 08:34 43K
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb 19-Mar-2020 03:48 38K
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb 07-Feb-2022 03:04 40K
libaac-tactics-ocaml_0.2.pl2-2build1_amd64.deb 25-Aug-2011 19:03 140K
libaac-tactics-ocaml_0.2.pl2-2build1_i386.deb 25-Aug-2011 19:04 122K
libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb 08-Jan-2012 23:33 139K
libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb 08-Jan-2012 23:33 122K
libaac-tactics-ocaml_0.2.pl2-6_amd64.deb 01-May-2012 07:58 139K
libaac-tactics-ocaml_0.2.pl2-6_i386.deb 01-May-2012 08:09 122K
libaac-tactics-ocaml_0.2.pl2-7_amd64.deb 11-Jun-2012 01:34 139K
libaac-tactics-ocaml_0.2.pl2-7_i386.deb 11-Jun-2012 01:35 122K
libaac-tactics-ocaml_0.4-2_amd64.deb 20-Jan-2014 19:33 125K
libaac-tactics-ocaml_0.4-2_i386.deb 20-Jan-2014 19:33 114K
libaac-tactics-ocaml_0.4-5build2_amd64.deb 05-Nov-2015 08:33 117K
libaac-tactics-ocaml_0.4-5build2_i386.deb 05-Nov-2015 08:34 109K
libaac-tactics-ocaml_8.11.0-1_amd64.deb 19-Mar-2020 03:48 104K
libaac-tactics-ocaml_8.15.0-1_amd64.deb 07-Feb-2022 03:04 128K