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