Free Software Mirror Group

You're currently connected directly to one of our mirror nodes. You should use mirror.fsmg.org.nz instead. For more information please visit our website.

	Name	Last modified	Size
	Parent Directory		-
	aac-tactics_8.17.0-1.debian.tar.xz	2023-01-05 08:04	3.5K
	aac-tactics_8.17.0-1.dsc	2023-01-05 08:04	2.1K
	aac-tactics_8.17.0.orig.tar.gz	2023-01-05 08:04	74K
	aac-tactics_8.20.0-1.debian.tar.xz	2024-11-20 22:52	3.7K
	aac-tactics_8.20.0-1.dsc	2024-11-20 22:52	2.1K
	aac-tactics_8.20.0.orig.tar.gz	2024-11-20 22:52	76K
	libcoq-aac-tactics_8.17.0-1+b2_amd64.deb	2023-02-13 18:11	381K
	libcoq-aac-tactics_8.17.0-1+b2_arm64.deb	2023-02-13 18:11	389K
	libcoq-aac-tactics_8.17.0-1+b2_armhf.deb	2023-02-13 18:11	379K
	libcoq-aac-tactics_8.17.0-1+b2_i386.deb	2023-02-13 18:06	373K
	libcoq-aac-tactics_8.17.0-1+b2_ppc64el.deb	2023-02-13 18:11	384K
	libcoq-aac-tactics_8.17.0-1+b2_s390x.deb	2023-02-13 18:06	382K
	libcoq-aac-tactics_8.20.0-1+b1_amd64.deb	2025-01-29 06:31	385K
	libcoq-aac-tactics_8.20.0-1+b1_arm64.deb	2025-01-29 10:38	391K
	libcoq-aac-tactics_8.20.0-1+b1_ppc64el.deb	2025-01-29 05:29	386K
	libcoq-aac-tactics_8.20.0-1+b1_riscv64.deb	2025-01-29 21:28	389K
	libcoq-aac-tactics_8.20.0-1+b1_s390x.deb	2025-01-30 19:51	387K
	libcoq-aac-tactics_8.20.0-1+b2_amd64.deb	2025-02-13 17:01	385K
	libcoq-aac-tactics_8.20.0-1+b2_arm64.deb	2025-02-13 17:06	391K
	libcoq-aac-tactics_8.20.0-1+b2_ppc64el.deb	2025-02-13 17:01	386K
	libcoq-aac-tactics_8.20.0-1+b2_riscv64.deb	2025-02-13 18:33	389K
	libcoq-aac-tactics_8.20.0-1+b2_s390x.deb	2025-02-13 23:49	386K