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

../
aac-tactics_0.4-5.debian.tar.xz                    14-Oct-2015 20:48    2980
aac-tactics_0.4-5.dsc                              14-Oct-2015 20:48    2238
aac-tactics_0.4.orig.tar.gz                        06-Dec-2013 15:54     76K
libaac-tactics-coq_0.4-5_all.deb                   14-Oct-2015 20:48    209K
libaac-tactics-ocaml-dev_0.4-5_mips64el.deb        24-Oct-2015 08:14     43K
libaac-tactics-ocaml-dev_0.4-5_mipsel.deb          24-Oct-2015 09:30     43K
libaac-tactics-ocaml_0.4-5_mips64el.deb            24-Oct-2015 08:14     28K
libaac-tactics-ocaml_0.4-5_mipsel.deb              24-Oct-2015 09:30     28K