Index of /pool/universe/a/aac-tactics

	Name	Last modified	Size	Description
	Parent Directory		-
	aac-tactics_0.2.pl2-2build1.debian.tar.gz	25-Aug-2011 07:03	2.5K
	aac-tactics_0.2.pl2-2build1.dsc	25-Aug-2011 07:03	1.4K
	aac-tactics_0.2.pl2-4build1.debian.tar.gz	08-Jan-2012 10:33	2.7K
	aac-tactics_0.2.pl2-4build1.dsc	08-Jan-2012 10:33	2.2K
	aac-tactics_0.2.pl2-6.debian.tar.gz	30-Apr-2012 19:48	2.7K
	aac-tactics_0.2.pl2-6.dsc	30-Apr-2012 19:48	2.2K
	aac-tactics_0.2.pl2.orig.tar.gz	04-May-2011 10:11	76K
	libaac-tactics-coq_0.2.pl2-2build1_all.deb	25-Aug-2011 07:03	298K
	libaac-tactics-coq_0.2.pl2-4build1_all.deb	08-Jan-2012 10:33	309K
	libaac-tactics-coq_0.2.pl2-6_all.deb	30-Apr-2012 19:58	311K
	libaac-tactics-ocaml-dev_0.2.pl2-2build1_amd64.deb	25-Aug-2011 07:03	133K
	libaac-tactics-ocaml-dev_0.2.pl2-2build1_i386.deb	25-Aug-2011 07:04	127K
	libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd64.deb	08-Jan-2012 10:33	133K
	libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386.deb	08-Jan-2012 10:33	127K
	libaac-tactics-ocaml-dev_0.2.pl2-6_amd64.deb	30-Apr-2012 19:58	133K
	libaac-tactics-ocaml-dev_0.2.pl2-6_i386.deb	30-Apr-2012 20:09	132K
	libaac-tactics-ocaml_0.2.pl2-2build1_amd64.deb	25-Aug-2011 07:03	140K
	libaac-tactics-ocaml_0.2.pl2-2build1_i386.deb	25-Aug-2011 07:04	122K
	libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb	08-Jan-2012 10:33	139K
	libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb	08-Jan-2012 10:33	122K
	libaac-tactics-ocaml_0.2.pl2-6_amd64.deb	30-Apr-2012 19:58	139K
	libaac-tactics-ocaml_0.2.pl2-6_i386.deb	30-Apr-2012 20:09	122K