Index of /pardus/pool/main/a/aac-tactics/

../
aac-tactics_8.6.1-1.debian.tar.xz                  31-Oct-2025 17:33    3220
aac-tactics_8.6.1-1.dsc                            31-Oct-2025 17:33    2217
aac-tactics_8.6.1.orig.tar.gz                      31-Oct-2025 17:33     73K
libaac-tactics-coq_8.6.1-1_all.deb                 31-Oct-2025 17:20    217K
libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb         31-Oct-2025 17:29     38K
libaac-tactics-ocaml-dev_8.6.1-1_i386.deb          31-Oct-2025 17:28     38K
libaac-tactics-ocaml_8.6.1-1_amd64.deb             31-Oct-2025 17:19    108K
libaac-tactics-ocaml_8.6.1-1_i386.deb              31-Oct-2025 17:19    101K