Index of /ubuntu/ubuntu/pool/universe/c/coq-mtac2

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-mtac2_1.4+8.15-3.debian.tar.xz	07-Aug-2022 09:14	2.3K
	coq-mtac2_1.4+8.15-3.dsc	07-Aug-2022 09:14	2.0K
	coq-mtac2_1.4+8.15.orig.tar.gz	20-Jul-2022 21:19	245K
	coq-mtac2_1.4+8.16-1build2.debian.tar.xz	03-Dec-2022 09:29	2.5K
	coq-mtac2_1.4+8.16-1build2.dsc	03-Dec-2022 09:29	2.0K
	coq-mtac2_1.4+8.16-2.debian.tar.xz	26-Jan-2023 14:29	2.4K
	coq-mtac2_1.4+8.16-2.dsc	26-Jan-2023 14:29	2.1K
	coq-mtac2_1.4+8.16.orig.tar.gz	06-Nov-2022 00:17	245K
	libcoq-mtac2_1.4+8.15-3_amd64.deb	07-Aug-2022 09:33	838K
	libcoq-mtac2_1.4+8.16-1build2_amd64.deb	03-Dec-2022 09:29	831K
	libcoq-mtac2_1.4+8.16-2_amd64.deb	26-Jan-2023 14:29	831K