Index of /freexian/extended-lts/pool/main/a/aac-tactics

	Name	Last modified	Size	Description
	Parent Directory		-
	libaac-tactics-coq_0.2.pl2-7_all.deb	2025-08-20 13:41	313K
	libaac-tactics-coq_0.4-3_all.deb	2025-08-20 15:17	209K
	libaac-tactics-coq_8.6.1-1_all.deb	2025-08-19 18:36	217K
	libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb	2025-08-20 13:41	130K
	libaac-tactics-ocaml-dev_0.2.pl2-7_i386.deb	2025-09-01 15:29	133K
	libaac-tactics-ocaml-dev_0.4-3_amd64.deb	2025-08-20 15:17	44K
	libaac-tactics-ocaml-dev_0.4-3_i386.deb	2025-09-01 15:29	44K
	libaac-tactics-ocaml-dev_8.6.1-1_amd64.deb	2025-08-19 18:36	38K
	libaac-tactics-ocaml-dev_8.6.1-1_i386.deb	2025-09-01 15:29	38K
	libaac-tactics-ocaml_0.2.pl2-7_amd64.deb	2025-08-20 13:41	142K
	libaac-tactics-ocaml_0.2.pl2-7_i386.deb	2025-09-01 15:29	124K
	libaac-tactics-ocaml_0.4-3_amd64.deb	2025-08-20 15:17	125K
	libaac-tactics-ocaml_0.4-3_i386.deb	2025-09-01 15:29	115K
	libaac-tactics-ocaml_8.6.1-1_amd64.deb	2025-08-19 18:36	108K
	libaac-tactics-ocaml_8.6.1-1_i386.deb	2025-09-01 15:29	101K
	libcoq-aac-tactics_8.17.0-1+b2_amd64.deb	2025-08-20 15:17	381K
	libcoq-aac-tactics_8.17.0-1+b2_i386.deb	2025-09-01 15:29	373K