Index of /glondu/ppa/ubuntu/pool/main/a/aac-tactics

	Name	Last modified	Size	Description
	Parent Directory		-
	aac-tactics_0.2.pl2-1~ppa+lucid3.debian.tar.gz	2011-03-09 23:47	2.5K
	aac-tactics_0.2.pl2-1~ppa+lucid3.dsc	2011-03-09 23:47	2.1K
	aac-tactics_0.2.pl2-1~ppa+natty1.debian.tar.gz	2011-06-16 15:07	2.4K
	aac-tactics_0.2.pl2-1~ppa+natty1.dsc	2011-06-16 15:07	2.1K
	aac-tactics_0.2.pl2.orig.tar.gz	2011-03-09 22:47	76K
	aac-tactics_0.3-2~ppa+oneiric1.debian.tar.gz	2012-09-22 16:05	2.8K
	aac-tactics_0.3-2~ppa+oneiric1.dsc	2012-09-22 16:05	2.2K
	aac-tactics_0.3-2~ppa+precise1.debian.tar.gz	2012-09-22 16:05	2.8K
	aac-tactics_0.3-2~ppa+precise1.dsc	2012-09-22 16:05	2.2K
	aac-tactics_0.3.orig.tar.gz	2012-09-22 16:05	73K
	libaac-tactics-coq_0.2.pl2-1~ppa+lucid3_all.deb	2011-03-09 23:56	305K
	libaac-tactics-coq_0.2.pl2-1~ppa+natty1_all.deb	2011-06-16 15:36	303K
	libaac-tactics-coq_0.3-2~ppa+oneiric1_all.deb	2012-09-22 16:15	296K
	libaac-tactics-coq_0.3-2~ppa+precise1_all.deb	2012-09-22 16:15	295K
	libaac-tactics-ocaml-dev_0.2.pl2-1~ppa+lucid3_amd64.deb	2011-03-09 23:56	129K
	libaac-tactics-ocaml-dev_0.2.pl2-1~ppa+lucid3_i386.deb	2011-03-09 23:56	130K
	libaac-tactics-ocaml-dev_0.2.pl2-1~ppa+natty1_amd64.deb	2011-06-16 15:47	134K
	libaac-tactics-ocaml-dev_0.2.pl2-1~ppa+natty1_i386.deb	2011-06-16 15:36	128K
	libaac-tactics-ocaml-dev_0.3-2~ppa+oneiric1_amd64.deb	2012-09-22 19:10	50K
	libaac-tactics-ocaml-dev_0.3-2~ppa+oneiric1_i386.deb	2012-09-22 16:15	51K
	libaac-tactics-ocaml-dev_0.3-2~ppa+precise1_amd64.deb	2012-09-22 19:20	50K
	libaac-tactics-ocaml-dev_0.3-2~ppa+precise1_i386.deb	2012-09-22 16:15	50K
	libaac-tactics-ocaml_0.2.pl2-1~ppa+lucid3_amd64.deb	2011-03-09 23:56	141K
	libaac-tactics-ocaml_0.2.pl2-1~ppa+lucid3_i386.deb	2011-03-09 23:56	124K
	libaac-tactics-ocaml_0.2.pl2-1~ppa+natty1_amd64.deb	2011-06-16 15:47	139K
	libaac-tactics-ocaml_0.2.pl2-1~ppa+natty1_i386.deb	2011-06-16 15:36	121K
	libaac-tactics-ocaml_0.3-2~ppa+oneiric1_amd64.deb	2012-09-22 19:10	139K
	libaac-tactics-ocaml_0.3-2~ppa+oneiric1_i386.deb	2012-09-22 16:15	121K
	libaac-tactics-ocaml_0.3-2~ppa+precise1_amd64.deb	2012-09-22 19:20	139K
	libaac-tactics-ocaml_0.3-2~ppa+precise1_i386.deb	2012-09-22 16:15	121K