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.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-4.debian.tar.xz2015-Aug-10 19:23:572.9K application/octet-stream
aac-tactics_0.4-4.dsc2015-Aug-10 19:23:572.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.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-coq_0.4-4_all.deb2015-Aug-10 19:24:08207.7K 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.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-dev_0.4-4_amd64.deb2015-Aug-10 19:24:0843.5K application/octet-stream
libaac-tactics-ocaml-dev_0.4-4_i386.deb2015-Aug-10 19:24:2343.5K 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.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
libaac-tactics-ocaml_0.4-4_amd64.deb2015-Aug-10 19:24:07125K application/octet-stream
libaac-tactics-ocaml_0.4-4_i386.deb2015-Aug-10 19:24:23114.3K application/octet-stream