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

../
aac-tactics_8.6.1-1.debian.tar.xz                  02-Jul-2026 16:17    3220
aac-tactics_8.6.1-1.dsc                            02-Jul-2026 16:17    2217
aac-tactics_8.6.1.orig.tar.gz                      02-Jul-2026 16:17     73K
libaac-tactics-coq_8.6.1-1_all.deb                 02-Jul-2026 16:05    217K
libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb         02-Jul-2026 15:49     38K
libaac-tactics-ocaml-dev_8.6.1-1_i386.deb          02-Jul-2026 15:31     38K
libaac-tactics-ocaml_8.6.1-1_amd64.deb             02-Jul-2026 15:52    108K
libaac-tactics-ocaml_8.6.1-1_i386.deb              02-Jul-2026 15:32    101K