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

	Name	Last modified	Size	Description
	Parent Directory		-
	libcoq-aac-tactics_8.15.1-3_i386.deb	2022-04-17 12:43	261K
	libcoq-aac-tactics_8.15.1-3_armhf.deb	2022-04-17 12:43	261K
	libcoq-aac-tactics_8.15.1-3_arm64.deb	2022-04-17 12:43	261K
	libcoq-aac-tactics_8.15.1-3_amd64.deb	2022-04-17 12:43	261K
	libaac-tactics-ocaml_8.15.1-3_i386.deb	2022-04-17 12:43	104K
	libaac-tactics-ocaml_8.15.1-3_armhf.deb	2022-04-17 12:43	110K
	libaac-tactics-ocaml_8.15.1-3_arm64.deb	2022-04-17 12:43	119K
	libaac-tactics-ocaml_8.15.1-3_amd64.deb	2022-04-17 12:43	111K
	libaac-tactics-ocaml_8.11.0-1+b1_arm64.deb	2020-04-10 11:11	117K
	libaac-tactics-ocaml_8.11.0-1+b1_amd64.deb	2020-04-10 13:03	107K
	libaac-tactics-ocaml_8.9.0-1+b1_i386.deb	2020-02-13 05:27	107K
	libaac-tactics-ocaml_8.9.0-1+b1_armhf.deb	2020-02-13 03:25	115K
	libaac-tactics-ocaml_8.9.0-1+b1_armel.deb	2020-02-13 03:25	27K
	libaac-tactics-ocaml_8.9.0-1+b1_arm64.deb	2020-02-13 03:25	130K
	libaac-tactics-ocaml_8.9.0-1+b1_amd64.deb	2020-02-13 04:26	118K
	libaac-tactics-ocaml-dev_8.15.1-3_i386.deb	2022-04-17 12:43	38K
	libaac-tactics-ocaml-dev_8.15.1-3_armhf.deb	2022-04-17 12:43	38K
	libaac-tactics-ocaml-dev_8.15.1-3_arm64.deb	2022-04-17 12:43	38K
	libaac-tactics-ocaml-dev_8.15.1-3_amd64.deb	2022-04-17 12:43	38K
	libaac-tactics-ocaml-dev_8.11.0-1+b1_arm64.deb	2020-04-10 11:11	38K
	libaac-tactics-ocaml-dev_8.11.0-1+b1_amd64.deb	2020-04-10 13:03	38K
	libaac-tactics-ocaml-dev_8.9.0-1+b1_i386.deb	2020-02-13 05:27	40K
	libaac-tactics-ocaml-dev_8.9.0-1+b1_armhf.deb	2020-02-13 03:25	40K
	libaac-tactics-ocaml-dev_8.9.0-1+b1_armel.deb	2020-02-13 03:25	40K
	libaac-tactics-ocaml-dev_8.9.0-1+b1_arm64.deb	2020-02-13 03:25	40K
	libaac-tactics-ocaml-dev_8.9.0-1+b1_amd64.deb	2020-02-13 04:26	40K
	aac-tactics_8.15.1.orig.tar.gz	2022-04-03 20:10	67K
	aac-tactics_8.15.1-3.dsc	2022-04-17 12:08	2.2K
	aac-tactics_8.15.1-3.debian.tar.xz	2022-04-17 12:08	3.7K