aac-tactics

	Name	Size	Modified
	..	—	—
	aac-tactics_8.19.1-2.debian.tar.xz	3 KB	Fri Nov 15 22:45:40 2024
	aac-tactics_8.19.1-2.dsc	1 KB	Fri Nov 15 22:45:40 2024
	aac-tactics_8.19.1.orig.tar.gz	75 KB	Fri Nov 15 22:45:40 2024
	libcoq-aac-tactics-dbgsym_8.19.1-2_loong64.deb	13 KB	Wed Oct 30 02:52:02 2024
	libcoq-aac-tactics_8.19.1-2_loong64.deb	395 KB	Wed Oct 30 02:52:05 2024