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

	Name	Last modified	Size
	Parent Directory		-
	libaac-tactics-ocaml_8.9.0-1+b1_armhf.deb	18-Feb-2020 11:08	112K
	libaac-tactics-ocaml_8.6.1-1_armhf.deb	17-Jan-2017 05:08	111K
	libaac-tactics-ocaml_0.4-3_armhf.deb	13-Aug-2014 19:11	119K
	libaac-tactics-ocaml-dev_8.9.0-1+b1_armhf.deb	18-Feb-2020 11:08	40K
	libaac-tactics-ocaml-dev_8.6.1-1_armhf.deb	17-Jan-2017 05:08	38K
	libaac-tactics-ocaml-dev_0.4-3_armhf.deb	13-Aug-2014 19:11	43K
	libaac-tactics-coq_8.11.0-1_all.deb	17-Mar-2020 17:36	239K
	libaac-tactics-coq_8.9.0-1_all.deb	02-Feb-2020 16:29	244K
	libaac-tactics-coq_8.6.1-1_all.deb	30-Dec-2016 11:13	217K
	libaac-tactics-coq_0.4-3_all.deb	30-Jul-2014 11:11	209K
	aac-tactics_8.11.0.orig.tar.gz	17-Mar-2020 17:16	64K
	aac-tactics_8.11.0-1.dsc	17-Mar-2020 17:16	2.1K
	aac-tactics_8.11.0-1.debian.tar.xz	17-Mar-2020 17:16	3.4K
	aac-tactics_8.9.0.orig.tar.gz	02-Feb-2020 15:43	65K
	aac-tactics_8.9.0-1.dsc	02-Feb-2020 15:43	1.9K
	aac-tactics_8.9.0-1.debian.tar.xz	02-Feb-2020 15:43	3.3K
	aac-tactics_8.6.1.orig.tar.gz	30-Dec-2016 11:13	73K
	aac-tactics_8.6.1-1.dsc	30-Dec-2016 11:13	2.2K
	aac-tactics_8.6.1-1.debian.tar.xz	30-Dec-2016 11:13	3.1K
	aac-tactics_0.4.orig.tar.gz	06-Dec-2013 08:54	76K
	aac-tactics_0.4-3.dsc	30-Jul-2014 11:11	2.2K
	aac-tactics_0.4-3.debian.tar.xz	30-Jul-2014 11:11	2.9K