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

Name Last Modified Size Type
Parent Directory  Directory
aac-tactics_0.2.pl2-4build1.debian.tar.gz2012-Jan-08 10:33:382.7K application/x-gzip
aac-tactics_0.2.pl2-4build1.dsc2012-Jan-08 10:33:382.2K application/octet-stream
aac-tactics_0.2.pl2.orig.tar.gz2011-May-04 10:11:0075.6K application/x-gzip
aac-tactics_0.3.pl1-1.debian.tar.gz2013-May-09 13:33:463K application/x-gzip
aac-tactics_0.3.pl1-1.dsc2013-May-09 13:33:462.2K application/octet-stream
aac-tactics_0.3.pl1.orig.tar.gz2013-May-09 13:33:4672.4K application/x-gzip
aac-tactics_0.4-2.debian.tar.xz2014-Jan-20 06:09:022.8K application/octet-stream
aac-tactics_0.4-2.dsc2014-Jan-20 06:09:022.1K application/octet-stream
aac-tactics_0.4-3.debian.tar.xz2014-Jul-30 13:44:542.9K application/octet-stream
aac-tactics_0.4-3.dsc2014-Jul-30 13:44:542.2K application/octet-stream
aac-tactics_0.4.orig.tar.gz2013-Dec-06 12:23:2675.5K application/x-gzip
libaac-tactics-coq_0.2.pl2-4build1_all.deb2012-Jan-08 10:33:40308.5K application/octet-stream
libaac-tactics-coq_0.3.pl1-1_all.deb2013-May-09 13:33:55287.1K application/octet-stream
libaac-tactics-coq_0.4-2_all.deb2014-Jan-20 06:33:29207.5K application/octet-stream
libaac-tactics-coq_0.4-3_all.deb2014-Jul-30 13:45:23207.6K application/octet-stream
libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd64.deb2012-Jan-08 10:33:39132.8K application/octet-stream
libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386.deb2012-Jan-08 10:33:43126.9K application/octet-stream
libaac-tactics-ocaml-dev_0.3.pl1-1_amd64.deb2013-May-09 13:33:5760.9K application/octet-stream
libaac-tactics-ocaml-dev_0.3.pl1-1_i386.deb2013-May-09 13:34:1662.3K application/octet-stream
libaac-tactics-ocaml-dev_0.4-2_amd64.deb2014-Jan-20 06:33:2842.9K application/octet-stream
libaac-tactics-ocaml-dev_0.4-2_i386.deb2014-Jan-20 06:33:5743.3K application/octet-stream
libaac-tactics-ocaml-dev_0.4-3_amd64.deb2014-Jul-30 14:37:5943.7K application/octet-stream
libaac-tactics-ocaml-dev_0.4-3_i386.deb2014-Jul-30 13:45:3943.4K application/octet-stream
libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb2012-Jan-08 10:33:39139K application/octet-stream
libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb2012-Jan-08 10:33:44121.5K application/octet-stream
libaac-tactics-ocaml_0.3.pl1-1_amd64.deb2013-May-09 13:33:58138.7K application/octet-stream
libaac-tactics-ocaml_0.3.pl1-1_i386.deb2013-May-09 13:34:16121.2K application/octet-stream
libaac-tactics-ocaml_0.4-2_amd64.deb2014-Jan-20 06:33:28125.1K application/octet-stream
libaac-tactics-ocaml_0.4-2_i386.deb2014-Jan-20 06:33:57114.2K application/octet-stream
libaac-tactics-ocaml_0.4-3_amd64.deb2014-Jul-30 14:37:59124.7K application/octet-stream
libaac-tactics-ocaml_0.4-3_i386.deb2014-Jul-30 13:45:38114.4K application/octet-stream