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

0 directories 49 files
Name Size Modified
Go up
aac-tactics_0.4-2.debian.tar.xz 2.8 KiB
aac-tactics_0.4-2.dsc 2.1 KiB
aac-tactics_0.4-5build2.debian.tar.xz 3.0 KiB
aac-tactics_0.4-5build2.dsc 1.9 KiB
aac-tactics_0.4.orig.tar.gz 76 KiB
aac-tactics_8.11.0-1.debian.tar.xz 3.4 KiB
aac-tactics_8.11.0-1.dsc 2.1 KiB
aac-tactics_8.11.0.orig.tar.gz 64 KiB
aac-tactics_8.15.0-1.debian.tar.xz 3.5 KiB
aac-tactics_8.15.0-1.dsc 2.2 KiB
aac-tactics_8.15.0.orig.tar.gz 66 KiB
aac-tactics_8.17.0-1build2.debian.tar.xz 3.5 KiB
aac-tactics_8.17.0-1build2.dsc 2.1 KiB
aac-tactics_8.17.0-2build1.debian.tar.xz 3.6 KiB
aac-tactics_8.17.0-2build1.dsc 2.1 KiB
aac-tactics_8.17.0.orig.tar.gz 74 KiB
aac-tactics_8.18.0-1.debian.tar.xz 3.6 KiB
aac-tactics_8.18.0-1.dsc 2.1 KiB
aac-tactics_8.18.0-1build1.debian.tar.xz 3.7 KiB
aac-tactics_8.18.0-1build1.dsc 2.2 KiB
aac-tactics_8.18.0.orig.tar.gz 74 KiB
aac-tactics_8.6.1-2.debian.tar.xz 3.2 KiB
aac-tactics_8.6.1-2.dsc 2.2 KiB
aac-tactics_8.6.1.orig.tar.gz 73 KiB
libaac-tactics-coq_0.4-2_all.deb 208 KiB
libaac-tactics-coq_0.4-5build2_all.deb 208 KiB
libaac-tactics-coq_8.11.0-1_all.deb 238 KiB
libaac-tactics-coq_8.15.0-1_all.deb 282 KiB
libaac-tactics-coq_8.6.1-2_all.deb 216 KiB
libaac-tactics-ocaml-dev_0.4-2_amd64.deb 43 KiB
libaac-tactics-ocaml-dev_0.4-2_i386.deb 43 KiB
libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb 43 KiB
libaac-tactics-ocaml-dev_0.4-5build2_i386.deb 43 KiB
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb 38 KiB
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb 40 KiB
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb 37 KiB
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb 37 KiB
libaac-tactics-ocaml_0.4-2_amd64.deb 125 KiB
libaac-tactics-ocaml_0.4-2_i386.deb 114 KiB
libaac-tactics-ocaml_0.4-5build2_amd64.deb 117 KiB
libaac-tactics-ocaml_0.4-5build2_i386.deb 109 KiB
libaac-tactics-ocaml_8.11.0-1_amd64.deb 104 KiB
libaac-tactics-ocaml_8.15.0-1_amd64.deb 128 KiB
libaac-tactics-ocaml_8.6.1-2_amd64.deb 118 KiB
libaac-tactics-ocaml_8.6.1-2_i386.deb 108 KiB
libcoq-aac-tactics_8.17.0-1build2_amd64.deb 416 KiB
libcoq-aac-tactics_8.17.0-2build1_amd64.deb 415 KiB
libcoq-aac-tactics_8.18.0-1_amd64.deb 526 KiB
libcoq-aac-tactics_8.18.0-1build1_amd64.deb 412 KiB