Index of /ubuntu/pool/universe/a/aac-tactics/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
aac-tactics_0.2.pl2.orig.tar.gz 76K2011-May-04 14:11
aac-tactics_0.2.pl2-4build1.debian.tar.gz 27242012-Jan-08 15:33
aac-tactics_0.2.pl2-4build1.dsc 22402012-Jan-08 15:33
libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd64.deb 133K2012-Jan-08 15:33
libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb 139K2012-Jan-08 15:33
libaac-tactics-coq_0.2.pl2-4build1_all.deb 309K2012-Jan-08 15:33
libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386.deb 127K2012-Jan-08 15:33
libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb 122K2012-Jan-08 15:33
aac-tactics_0.4.orig.tar.gz 76K2013-Dec-06 17:23
aac-tactics_0.4-2.debian.tar.xz 28842014-Jan-20 11:09
aac-tactics_0.4-2.dsc 21912014-Jan-20 11:09
libaac-tactics-ocaml-dev_0.4-2_amd64.deb 43K2014-Jan-20 11:33
libaac-tactics-ocaml_0.4-2_amd64.deb 125K2014-Jan-20 11:33
libaac-tactics-coq_0.4-2_all.deb 208K2014-Jan-20 11:33
libaac-tactics-ocaml-dev_0.4-2_i386.deb 43K2014-Jan-20 11:33
libaac-tactics-ocaml_0.4-2_i386.deb 114K2014-Jan-20 11:33
aac-tactics_0.4-5build2.debian.tar.xz 30762015-Nov-05 00:30
aac-tactics_0.4-5build2.dsc 19142015-Nov-05 00:30
libaac-tactics-ocaml_0.4-5build2_amd64.deb 117K2015-Nov-05 00:33
libaac-tactics-coq_0.4-5build2_all.deb 208K2015-Nov-05 00:33
libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb 43K2015-Nov-05 00:33
libaac-tactics-ocaml_0.4-5build2_i386.deb 109K2015-Nov-05 00:34
libaac-tactics-ocaml-dev_0.4-5build2_i386.deb 43K2015-Nov-05 00:34
aac-tactics_8.6.1.orig.tar.gz 73K2016-Dec-30 17:13
aac-tactics_8.6.1-1build4.debian.tar.xz 34522017-Aug-31 01:24
aac-tactics_8.6.1-1build4.dsc 19742017-Aug-31 01:24
libaac-tactics-ocaml-dev_8.6.1-1build4_amd64.deb 37K2017-Aug-31 01:24
libaac-tactics-ocaml_8.6.1-1build4_amd64.deb 118K2017-Aug-31 01:24
libaac-tactics-coq_8.6.1-1build4_all.deb 216K2017-Aug-31 01:24
libaac-tactics-ocaml-dev_8.6.1-1build4_i386.deb 37K2017-Aug-31 01:24
libaac-tactics-ocaml_8.6.1-1build4_i386.deb 107K2017-Aug-31 01:24
aac-tactics_8.6.1-2.dsc 22382017-Nov-01 13:05
aac-tactics_8.6.1-2.debian.tar.xz 32482017-Nov-01 13:05
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb 37K2017-Nov-01 13:05
libaac-tactics-ocaml_8.6.1-2_amd64.deb 117K2017-Nov-01 13:05
libaac-tactics-coq_8.6.1-2_all.deb 216K2017-Nov-01 13:05
libaac-tactics-ocaml_8.6.1-2_i386.deb 108K2017-Nov-01 13:05
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb 37K2017-Nov-01 13:05