Index of /old/debian/pool/main/a/aac-tactics/

../
aac-tactics_0.2.pl2-7.debian.tar.gz                03-Apr-2019 02:13                2746
aac-tactics_0.2.pl2-7.dsc                          03-Apr-2019 02:13                2218
aac-tactics_0.2.pl2.orig.tar.gz                    03-Apr-2019 02:13               77409
aac-tactics_0.4-3.debian.tar.xz                    03-Oct-2017 12:32                2960
aac-tactics_0.4-3.dsc                              03-Oct-2017 12:32                2231
aac-tactics_0.4.orig.tar.gz                        03-Oct-2017 12:32               77336
libaac-tactics-coq_0.2.pl2-7_all.deb               03-Apr-2019 01:36              320756
libaac-tactics-coq_0.4-3_all.deb                   24-Aug-2017 09:54              213832
libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb       03-Apr-2019 02:01              132996
libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb        03-Apr-2019 02:24              136466
libaac-tactics-ocaml-dev_0.4-3_amd64.deb           24-Aug-2017 09:36               45314
libaac-tactics-ocaml-dev_0.4-3_i386.deb            24-Aug-2017 09:26               44996
libaac-tactics-ocaml_0.2.pl2-7_amd64.deb           03-Apr-2019 02:02              145306
libaac-tactics-ocaml_0.2.pl2-7_i386.deb            03-Apr-2019 01:50              127260
libaac-tactics-ocaml_0.4-3_amd64.deb               24-Aug-2017 09:34              128308
libaac-tactics-ocaml_0.4-3_i386.deb                24-Aug-2017 09:29              117692