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

	Name	Last modified	Size	Description
	Parent Directory		-
	aac-tactics_0.4.orig.tar.gz	2015-01-05 00:52	76K
	aac-tactics_0.4-3.dsc	2015-01-05 00:52	2.2K
	aac-tactics_0.4-3.debian.tar.xz	2015-01-05 00:52	2.9K
	libaac-tactics-ocaml-dev_0.4-3_amd64.deb	2014-12-31 08:40	44K
	libaac-tactics-ocaml_0.4-3_amd64.deb	2014-12-31 08:40	125K
	libaac-tactics-ocaml-dev_0.4-3_i386.deb	2014-12-20 22:10	43K
	libaac-tactics-ocaml_0.4-3_i386.deb	2014-12-20 22:10	114K
	libaac-tactics-coq_0.4-3_all.deb	2014-12-20 22:09	208K
	libaac-tactics-ocaml_0.4-2_amd64.deb	2014-04-15 11:12	125K
	libaac-tactics-ocaml-dev_0.4-2_amd64.deb	2014-04-15 11:11	43K
	libaac-tactics-ocaml-dev_0.4-2_i386.deb	2014-04-05 18:00	43K
	libaac-tactics-ocaml_0.4-2_i386.deb	2014-04-05 17:59	114K
	libaac-tactics-coq_0.4-2_all.deb	2014-04-05 17:59	208K
	libaac-tactics-ocaml-dev_0.3.pl1-1_amd64.deb	2013-10-06 01:53	61K
	libaac-tactics-ocaml_0.3.pl1-1_amd64.deb	2013-10-06 01:53	139K
	libaac-tactics-ocaml_0.3.pl1-1_i386.deb	2013-09-27 06:39	121K
	libaac-tactics-ocaml-dev_0.3.pl1-1_i386.deb	2013-09-27 06:38	62K
	libaac-tactics-coq_0.3.pl1-1_all.deb	2013-09-27 06:38	287K
	libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb	2012-10-08 03:59	133K
	libaac-tactics-ocaml_0.2.pl2-7_amd64.deb	2012-10-08 03:58	139K
	libaac-tactics-coq_0.2.pl2-7_all.deb	2012-09-30 07:17	312K
	libaac-tactics-ocaml_0.2.pl2-7_i386.deb	2012-09-30 07:17	122K
	libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb	2012-09-30 07:17	130K
	aac-tactics_0.2.pl2-7.dsc	2012-09-26 12:36	2.2K
	aac-tactics_0.2.pl2-7.debian.tar.gz	2012-09-26 12:36	2.7K
	libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd64.deb	2012-03-19 19:52	133K
	libaac-tactics-ocaml_0.2.pl2-4build1_amd64.deb	2012-03-19 19:52	139K
	libaac-tactics-ocaml_0.2.pl2-4build1_i386.deb	2012-03-13 02:01	122K
	libaac-tactics-coq_0.2.pl2-4build1_all.deb	2012-03-13 02:01	309K
	libaac-tactics-ocaml-dev_0.2.pl2-4build1_i386.deb	2012-03-13 02:00	127K
	aac-tactics_0.2.pl2-4build1.dsc	2012-03-09 13:42	2.2K
	aac-tactics_0.2.pl2-4build1.debian.tar.gz	2012-03-09 13:42	2.7K
	libaac-tactics-ocaml-dev_0.2.pl2-2build1_amd64.deb	2011-09-23 07:06	133K
	libaac-tactics-ocaml_0.2.pl2-2build1_amd64.deb	2011-09-23 07:05	140K
	libaac-tactics-ocaml-dev_0.2.pl2-2build1_i386.deb	2011-09-23 07:05	127K
	libaac-tactics-ocaml_0.2.pl2-2build1_i386.deb	2011-09-23 07:05	122K
	libaac-tactics-coq_0.2.pl2-2build1_all.deb	2011-09-23 07:04	298K
	aac-tactics_0.2.pl2-2build1.dsc	2011-09-23 07:04	1.4K
	aac-tactics_0.2.pl2-2build1.debian.tar.gz	2011-09-23 07:04	2.5K
	aac-tactics_0.2.pl2.orig.tar.gz	2011-08-17 02:45	76K