Index of ftp://bo.mirror.garr.it/1/kali/pool/main/a/aac-tactics

[DIR] Parent Directory

[   ] aac-tactics_8.6.1-2.debian.tar.xz  3.17Kb  March 8 2020
[   ] aac-tactics_8.6.1-2.dsc  2.19Kb  March 8 2020
[ GZ] aac-tactics_8.6.1.orig.tar.gz  73.31Kb  March 8 2020
[   ] libaac-tactics-coq_8.6.1-2_all.deb  217.31Kb  March 8 2020
[   ] libaac-tactics-ocaml_8.6.1-2_amd64.deb  119.60Kb  March 8 2020
[   ] libaac-tactics-ocaml_8.6.1-2_arm64.deb  131.17Kb  March 8 2020
[   ] libaac-tactics-ocaml_8.6.1-2_armel.deb  26.66Kb  March 8 2020
[   ] libaac-tactics-ocaml_8.6.1-2_armhf.deb  116.78Kb  March 8 2020
[   ] libaac-tactics-ocaml_8.6.1-2_i386.deb  109.39Kb  March 8 2020
[   ] libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb  37.73Kb  March 8 2020
[   ] libaac-tactics-ocaml-dev_8.6.1-2_arm64.deb  37.73Kb  March 8 2020
[   ] libaac-tactics-ocaml-dev_8.6.1-2_armel.deb  37.71Kb  March 8 2020
[   ] libaac-tactics-ocaml-dev_8.6.1-2_armhf.deb  37.73Kb  March 8 2020
[   ] libaac-tactics-ocaml-dev_8.6.1-2_i386.deb  37.73Kb  March 8 2020