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


../
aac-tactics_8.11.0-1.debian.tar.xz                 17-Mar-2020 16:16                3520
aac-tactics_8.11.0-1.dsc                           17-Mar-2020 16:16                2178
aac-tactics_8.11.0.orig.tar.gz                     17-Mar-2020 16:16               65363
libaac-tactics-coq_8.11.0-1_all.deb                17-Mar-2020 16:36              244928
libaac-tactics-ocaml-dev_8.11.0-1+b1_amd64.deb     10-Apr-2020 13:03               39276
libaac-tactics-ocaml_8.11.0-1+b1_amd64.deb         10-Apr-2020 13:03              109244