Index of /kali/pool/main/a/aac-tactics/
../
aac-tactics_8.6.1-2.debian.tar.xz 09-Oct-2017 08:45 3248
aac-tactics_8.6.1-2.dsc 09-Oct-2017 08:45 2238
aac-tactics_8.6.1.orig.tar.gz 30-Dec-2016 10:13 75073
libaac-tactics-coq_8.6.1-2_all.deb 09-Oct-2017 08:45 222528
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb 09-Oct-2017 08:45 38632
libaac-tactics-ocaml-dev_8.6.1-2_arm64.deb 09-Oct-2017 09:40 38632
libaac-tactics-ocaml-dev_8.6.1-2_armel.deb 09-Oct-2017 09:55 38612
libaac-tactics-ocaml-dev_8.6.1-2_armhf.deb 09-Oct-2017 09:55 38634
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb 09-Oct-2017 09:55 38632
libaac-tactics-ocaml_8.6.1-2_amd64.deb 09-Oct-2017 08:45 122472
libaac-tactics-ocaml_8.6.1-2_arm64.deb 09-Oct-2017 09:40 134320
libaac-tactics-ocaml_8.6.1-2_armel.deb 09-Oct-2017 09:55 27296
libaac-tactics-ocaml_8.6.1-2_armhf.deb 09-Oct-2017 09:55 119578
libaac-tactics-ocaml_8.6.1-2_i386.deb 09-Oct-2017 09:55 112016