Index of /Mirrors/archive.tanglu.org/tanglu/pool/main/a/aac-tactics

	Name	Last modified	Size	Description
	Parent Directory		-
	aac-tactics_0.4-2b1.debian.tar.gz	2014-02-05 10:59	3.0K
	aac-tactics_0.4-2b1.dsc	2014-02-05 10:59	2.2K
	aac-tactics_0.4-3.debian.tar.xz	2014-07-30 21:12	2.9K
	aac-tactics_0.4-3.dsc	2014-07-30 21:12	2.2K
	aac-tactics_0.4-4.debian.tar.xz	2015-08-23 02:18	2.9K
	aac-tactics_0.4-4.dsc	2015-08-23 02:18	2.2K
	aac-tactics_0.4-4b1.debian.tar.xz	2016-06-24 16:02	3.0K
	aac-tactics_0.4-4b1.dsc	2016-06-24 16:02	2.2K
	aac-tactics_0.4.orig.tar.gz	2013-12-07 18:01	76K
	libaac-tactics-coq_0.4-2b1_all.deb	2014-02-05 11:08	209K
	libaac-tactics-coq_0.4-3_all.deb	2014-08-18 09:58	209K
	libaac-tactics-coq_0.4-4_all.deb	2015-08-23 23:09	209K
	libaac-tactics-ocaml-dev_0.4-2b1_amd64.deb	2014-02-05 11:08	43K
	libaac-tactics-ocaml-dev_0.4-2b1_i386.deb	2014-02-05 11:12	44K
	libaac-tactics-ocaml-dev_0.4-3_amd64.deb	2014-08-18 09:58	43K
	libaac-tactics-ocaml-dev_0.4-3_i386.deb	2014-08-18 08:50	44K
	libaac-tactics-ocaml-dev_0.4-4_amd64.deb	2015-08-23 23:09	43K
	libaac-tactics-ocaml-dev_0.4-4_i386.deb	2015-08-24 03:33	44K
	libaac-tactics-ocaml_0.4-2b1_amd64.deb	2014-02-05 11:08	126K
	libaac-tactics-ocaml_0.4-2b1_i386.deb	2014-02-05 11:12	115K
	libaac-tactics-ocaml_0.4-3_amd64.deb	2014-08-18 09:58	125K
	libaac-tactics-ocaml_0.4-3_i386.deb	2014-08-18 08:50	115K
	libaac-tactics-ocaml_0.4-4_amd64.deb	2015-08-23 23:09	126K
	libaac-tactics-ocaml_0.4-4_i386.deb	2015-08-24 03:33	115K