Index of /debian-ports/pool-hppa/main/a/aac-tactics/

../
aac-tactics_9.0.0-4_hppa.buildinfo                 20-Sep-2026 06:03    6398
libaac-tactics-ocaml-dev_0.4-2_hppa.deb            21-Jan-2014 11:49     44K
libaac-tactics-ocaml_0.4-2_hppa.deb                21-Jan-2014 11:49     27K
libcoq-aac-tactics_9.0.0-4_hppa.deb                20-Sep-2026 06:03    296K