aac-tactics

	Name	Size	Modified
	..	—	—
	aac-tactics_8.20.0-1.debian.tar.xz	3 KB	Mon Sep 22 17:09:54 2025
	aac-tactics_8.20.0-1.dsc	2 KB	Mon Sep 22 17:09:54 2025
	aac-tactics_8.20.0.orig.tar.gz	75 KB	Mon Sep 22 17:09:54 2025
	libcoq-aac-tactics-dbgsym_8.20.0-1_loong64.deb	13 KB	Mon Sep 7 17:19:03 2026
	libcoq-aac-tactics_8.20.0-1_loong64.deb	389 KB	Mon Sep 7 17:19:03 2026