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


../
aac-tactics_8.11.0-1.debian.tar.xz                 23-Mar-2020 14:40                3520
aac-tactics_8.11.0-1.dsc                           23-Mar-2020 14:40                2178
aac-tactics_8.11.0.orig.tar.gz                     23-Mar-2020 14:40               65363
libaac-tactics-coq_8.11.0-1_all.deb                23-Mar-2020 14:42              244928
libaac-tactics-ocaml-dev_8.11.0-1+b1_amd64.deb     11-Apr-2020 02:54               39276
libaac-tactics-ocaml-dev_8.11.0-1+b1_arm64.deb     11-Apr-2020 02:54               39280
libaac-tactics-ocaml_8.11.0-1+b1_amd64.deb         11-Apr-2020 02:54              109244
libaac-tactics-ocaml_8.11.0-1+b1_arm64.deb         11-Apr-2020 02:54              119556