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

	Name	Last modified	Size	Description
	Parent Directory		-
	libaac-tactics-coq_0.4-3_all.deb	30-Jul-2014 13:11	209K
	libaac-tactics-coq_8.6.1-1_all.deb	30-Dec-2016 14:13	217K
	libaac-tactics-coq_8.8.0+1.gbp069dc3b-1_all.deb	18-Feb-2019 05:54	216K
	libaac-tactics-coq_8.11.0-1_all.deb	17-Mar-2020 20:36	239K
	libaac-tactics-ocaml-dev_0.4-3_amd64.deb	30-Jul-2014 13:11	44K
	libaac-tactics-ocaml-dev_0.4-3_armel.deb	30-Jul-2014 13:56	44K
	libaac-tactics-ocaml-dev_0.4-3_armhf.deb	30-Jul-2014 13:56	44K
	libaac-tactics-ocaml-dev_0.4-3_i386.deb	30-Jul-2014 13:41	44K
	libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb	30-Dec-2016 14:13	38K
	libaac-tactics-ocaml-dev_8.6.1-1_arm64.deb	30-Dec-2016 14:43	38K
	libaac-tactics-ocaml-dev_8.6.1-1_armel.deb	30-Dec-2016 14:43	38K
	libaac-tactics-ocaml-dev_8.6.1-1_armhf.deb	30-Dec-2016 14:43	38K
	libaac-tactics-ocaml-dev_8.6.1-1_i386.deb	30-Dec-2016 14:43	38K
	libaac-tactics-ocaml-dev_8.6.1-1_mips.deb	30-Dec-2016 14:43	38K
	libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1+b1_amd64.deb	06-Aug-2019 02:42	37K
	libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1+b1_arm64.deb	06-Aug-2019 02:27	37K
	libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1+b1_armel.deb	04-Aug-2019 23:58	37K
	libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1+b1_armhf.deb	06-Aug-2019 02:42	37K
	libaac-tactics-ocaml-dev_8.8.0+1.gbp069dc3b-1+b1_i386.deb	06-Aug-2019 02:42	37K
	libaac-tactics-ocaml-dev_8.11.0-1+b1_amd64.deb	10-Apr-2020 17:03	38K
	libaac-tactics-ocaml-dev_8.11.0-1+b1_arm64.deb	10-Apr-2020 15:11	38K
	libaac-tactics-ocaml_0.4-3_amd64.deb	30-Jul-2014 13:11	125K
	libaac-tactics-ocaml_0.4-3_armel.deb	30-Jul-2014 13:56	120K
	libaac-tactics-ocaml_0.4-3_armhf.deb	30-Jul-2014 13:56	122K
	libaac-tactics-ocaml_0.4-3_i386.deb	30-Jul-2014 13:41	115K
	libaac-tactics-ocaml_8.6.1-1_amd64.deb	30-Dec-2016 14:13	108K
	libaac-tactics-ocaml_8.6.1-1_arm64.deb	30-Dec-2016 14:43	105K
	libaac-tactics-ocaml_8.6.1-1_armel.deb	30-Dec-2016 14:43	112K
	libaac-tactics-ocaml_8.6.1-1_armhf.deb	30-Dec-2016 14:43	115K
	libaac-tactics-ocaml_8.6.1-1_i386.deb	30-Dec-2016 14:43	101K
	libaac-tactics-ocaml_8.6.1-1_mips.deb	30-Dec-2016 14:43	27K
	libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1+b1_amd64.deb	06-Aug-2019 02:42	121K
	libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1+b1_arm64.deb	06-Aug-2019 02:27	130K
	libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1+b1_armel.deb	04-Aug-2019 23:58	27K
	libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1+b1_armhf.deb	06-Aug-2019 02:42	116K
	libaac-tactics-ocaml_8.8.0+1.gbp069dc3b-1+b1_i386.deb	06-Aug-2019 02:42	110K
	libaac-tactics-ocaml_8.11.0-1+b1_amd64.deb	10-Apr-2020 17:03	107K
	libaac-tactics-ocaml_8.11.0-1+b1_arm64.deb	10-Apr-2020 15:11	117K