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

../
aac-tactics_8.6.1-1.debian.tar.xz                  24-Apr-2019 17:08    3220
aac-tactics_8.6.1-1.dsc                            24-Apr-2019 17:08    2217
aac-tactics_8.6.1.orig.tar.gz                      24-Apr-2019 17:08     73K
libaac-tactics-coq_8.6.1-1_all.deb                 24-Apr-2019 17:08    217K
libaac-tactics-ocaml-dev_8.6.1-1_mips64el.deb      24-Apr-2019 17:08     38K
libaac-tactics-ocaml_8.6.1-1_mips64el.deb          24-Apr-2019 17:08     27K