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

	Name	Last modified	Size	Description
	Parent Directory		-
	libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb	2012-06-09 05:02	130K
	libaac-tactics-coq_0.2.pl2-7_all.deb	2012-06-09 05:02	313K
	libaac-tactics-ocaml_0.2.pl2-7_amd64.deb	2012-06-09 05:02	142K
	libaac-tactics-coq_0.4-3_all.deb	2014-07-30 05:11	209K
	libaac-tactics-ocaml-dev_0.4-3_amd64.deb	2014-07-30 05:11	44K
	libaac-tactics-ocaml_0.4-3_amd64.deb	2014-07-30 05:11	125K
	libaac-tactics-coq_8.6.1-1_all.deb	2016-12-30 05:13	217K
	libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb	2016-12-30 05:13	38K
	libaac-tactics-ocaml_8.6.1-1_amd64.deb	2016-12-30 05:13	108K