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

Name Last Modified Size Type
Parent Directory  Directory
aac-tactics_0.2.pl2-2build1.debian.tar.gz2011-Aug-25 07:03:472.5K application/x-gzip
aac-tactics_0.2.pl2-2build1.dsc2011-Aug-25 07:03:471.4K application/octet-stream
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-7.debian.tar.gz2012-Jun-10 13:04:372.7K application/x-gzip
aac-tactics_0.2.pl2-7.dsc2012-Jun-10 13:04: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.orig.tar.gz2013-Dec-06 12:23:2675.5K application/x-gzip
libaac-tactics-coq_0.2.pl2-2build1_all.deb2011-Aug-25 07:03:48297.7K application/octet-stream
libaac-tactics-coq_0.2.pl2-4build1_all.deb2012-Jan-08 10:33:40308.5K application/octet-stream
libaac-tactics-coq_0.2.pl2-7_all.deb2012-Jun-10 13:34:35312.1K 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-ocaml-dev_0.2.pl2-2build1_amd64.deb2011-Aug-25 07:03:47133.5K application/octet-stream
libaac-tactics-ocaml-dev_0.2.pl2-2build1_i386.deb2011-Aug-25 07:04:05127K 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.2.pl2-7_amd64.deb2012-Jun-10 13:34:36133.2K application/octet-stream
libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb2012-Jun-10 13:35:32130.4K 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_0.2.pl2-2build1_amd64.deb2011-Aug-25 07:03:47139.7K application/octet-stream
libaac-tactics-ocaml_0.2.pl2-2build1_i386.deb2011-Aug-25 07:04:05121.7K 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.2.pl2-7_amd64.deb2012-Jun-10 13:34:36139.1K application/octet-stream
libaac-tactics-ocaml_0.2.pl2-7_i386.deb2012-Jun-10 13:35:32121.7K 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