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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libaac-tactics-coq_0.2.pl2-4build1_all.deb 3159442012-Jan-08 15:33
libaac-tactics-coq_8.6.1-2_all.deb 2207962017-Nov-01 13:05
libaac-tactics-coq_8.8.0+1.gbp069dc3b-1build4_a..> 2195002019-Aug-21 17:18
libaac-tactics-coq_0.4-5build2_all.deb 2127122015-Nov-05 00:33
libaac-tactics-coq_0.4-2_all.deb 2125282014-Jan-20 11:33
libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb 1423502012-Jan-08 15:33
libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd64.deb 1360182012-Jan-08 15:33
libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386.deb 1299422012-Jan-08 15:33
libaac-tactics-ocaml_0.4-2_amd64.deb 1281162014-Jan-20 11:33
libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb 1244522012-Jan-08 15:33
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4..> 1208202019-Aug-21 17:18
libaac-tactics-ocaml_8.6.1-2_amd64.deb 1202962017-Nov-01 13:05
libaac-tactics-ocaml_0.4-5build2_amd64.deb 1199862015-Nov-05 00:33
libaac-tactics-ocaml_0.4-2_i386.deb 1169642014-Jan-20 11:33
libaac-tactics-ocaml_0.4-5build2_i386.deb 1119502015-Nov-05 00:34
libaac-tactics-ocaml_8.6.1-2_i386.deb 1107962017-Nov-01 13:05
libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1build4..> 1106042019-Aug-21 17:18
aac-tactics_0.2.pl2.orig.tar.gz 774092011-May-04 14:11
aac-tactics_0.4.orig.tar.gz 773362013-Dec-06 17:23
aac-tactics_8.6.1.orig.tar.gz 750732016-Dec-30 17:13
aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz 659432019-Feb-18 11:08
libaac-tactics-ocaml-dev_0.4-2_i386.deb 443742014-Jan-20 11:33
libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb 440362015-Nov-05 00:33
libaac-tactics-ocaml-dev_0.4-5build2_i386.deb 440282015-Nov-05 00:34
libaac-tactics-ocaml-dev_0.4-2_amd64.deb 439222014-Jan-20 11:33
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb 376882017-Nov-01 13:05
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb 376842017-Nov-01 13:05
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1bu..> 376282019-Aug-21 17:18
libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1bu..> 376282019-Aug-21 17:18
aac-tactics_8.8.0+1.gbp069dc3b-1build4.debian.t..> 36322019-Aug-21 17:08
aac-tactics_8.6.1-2.debian.tar.xz 32482017-Nov-01 13:05
aac-tactics_0.4-5build2.debian.tar.xz 30762015-Nov-05 00:30
aac-tactics_0.4-2.debian.tar.xz 28842014-Jan-20 11:09
aac-tactics_0.2.pl2-4build1.debian.tar.gz 27242012-Jan-08 15:33
aac-tactics_8.8.0+1.gbp069dc3b-1build4.dsc 23012019-Aug-21 17:08
aac-tactics_0.2.pl2-4build1.dsc 22402012-Jan-08 15:33
aac-tactics_8.6.1-2.dsc 22382017-Nov-01 13:05
aac-tactics_0.4-2.dsc 21912014-Jan-20 11:09
aac-tactics_0.4-5build2.dsc 19142015-Nov-05 00:30