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

	Name	Last modified	Size	Description
	Parent Directory		-
	libaac-tactics-coq_0.2.pl2-2_all.deb	02-May-2011 04:47	303K
	libaac-tactics-coq_0.2.pl2-3_all.deb	03-Nov-2011 17:02	302K
	libaac-tactics-coq_0.2.pl2-7_all.deb	09-Jun-2012 20:02	313K
	libaac-tactics-coq_0.4-3_all.deb	30-Jul-2014 20:11	209K
	libaac-tactics-coq_8.6.1-1_all.deb	30-Dec-2016 21:13	217K
	libaac-tactics-ocaml-dev_0.2.pl2-2_i386.deb	02-May-2011 05:17	130K
	libaac-tactics-ocaml-dev_0.2.pl2-3_amd64.deb	03-Nov-2011 17:02	130K
	libaac-tactics-ocaml-dev_0.2.pl2-3_i386.deb	03-Nov-2011 17:32	133K
	libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb	09-Jun-2012 20:02	130K
	libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb	09-Jun-2012 21:03	133K
	libaac-tactics-ocaml-dev_0.4-3_amd64.deb	30-Jul-2014 20:11	44K
	libaac-tactics-ocaml-dev_0.4-3_i386.deb	30-Jul-2014 20:41	44K
	libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb	30-Dec-2016 21:13	38K
	libaac-tactics-ocaml-dev_8.6.1-1_i386.deb	30-Dec-2016 21:43	38K
	libaac-tactics-ocaml_0.2.pl2-2_i386.deb	02-May-2011 05:17	124K
	libaac-tactics-ocaml_0.2.pl2-3_amd64.deb	03-Nov-2011 17:02	141K
	libaac-tactics-ocaml_0.2.pl2-3_i386.deb	03-Nov-2011 17:32	124K
	libaac-tactics-ocaml_0.2.pl2-7_amd64.deb	09-Jun-2012 20:02	142K
	libaac-tactics-ocaml_0.2.pl2-7_i386.deb	09-Jun-2012 21:03	124K
	libaac-tactics-ocaml_0.4-3_amd64.deb	30-Jul-2014 20:11	125K
	libaac-tactics-ocaml_0.4-3_i386.deb	30-Jul-2014 20:41	115K
	libaac-tactics-ocaml_8.6.1-1_amd64.deb	30-Dec-2016 21:13	108K
	libaac-tactics-ocaml_8.6.1-1_i386.deb	30-Dec-2016 21:43	101K
	libcoq-aac-tactics_8.17.0-1+b2_amd64.deb	13-Feb-2023 16:11	381K
	libcoq-aac-tactics_8.20.0-1+b4_amd64.deb	15-Jun-2025 12:48	385K