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

Name Last Modified Size Type
Parent Directory  Directory
aac-tactics_8.5.1-1.debian.tar.xz2016-Nov-23 14:48:305.2K application/octet-stream
aac-tactics_8.5.1-1.dsc2016-Nov-23 14:48:292.2K application/octet-stream
aac-tactics_8.5.1.orig.tar.gz2016-Nov-23 14:48:3073.2K application/x-gzip
aac-tactics_8.6.1-1.debian.tar.xz2016-Dec-30 12:13:293.1K application/octet-stream
aac-tactics_8.6.1-1.dsc2016-Dec-30 12:13:272.2K application/octet-stream
aac-tactics_8.6.1.orig.tar.gz2016-Dec-30 12:13:2773.3K application/x-gzip
libaac-tactics-coq_8.5.1-1_all.deb2016-Nov-23 15:03:21211.6K application/octet-stream
libaac-tactics-coq_8.6.1-1_all.deb2016-Dec-30 12:23:41215.4K application/octet-stream
libaac-tactics-ocaml-dev_8.5.1-1_amd64.deb2016-Nov-23 15:03:2137.2K application/octet-stream
libaac-tactics-ocaml-dev_8.5.1-1_i386.deb2016-Nov-23 15:03:2337.2K application/octet-stream
libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb2016-Dec-30 12:23:4037.3K application/octet-stream
libaac-tactics-ocaml-dev_8.6.1-1_i386.deb2016-Dec-30 12:24:2237.3K application/octet-stream
libaac-tactics-ocaml_8.5.1-1_amd64.deb2016-Nov-23 15:03:21111.5K application/octet-stream
libaac-tactics-ocaml_8.5.1-1_i386.deb2016-Nov-23 15:03:23103.7K application/octet-stream
libaac-tactics-ocaml_8.6.1-1_amd64.deb2016-Dec-30 12:23:40107.2K application/octet-stream
libaac-tactics-ocaml_8.6.1-1_i386.deb2016-Dec-30 12:24:23100.5K application/octet-stream