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

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-extructures_0.3.1-2.debian.tar.xz	31-Jul-2022 15:29	1.9K
	coq-extructures_0.3.1-2.dsc	31-Jul-2022 15:29	2.1K
	coq-extructures_0.3.1-2build2.debian.tar.xz	03-Dec-2022 09:29	2.0K
	coq-extructures_0.3.1-2build2.dsc	03-Dec-2022 09:29	2.1K
	coq-extructures_0.3.1-3.debian.tar.xz	27-Jan-2023 08:55	2.0K
	coq-extructures_0.3.1-3.dsc	27-Jan-2023 08:55	2.1K
	coq-extructures_0.3.1.orig.tar.gz	18-Jul-2022 21:49	37K
	libcoq-extructures_0.3.1-2_amd64.deb	31-Jul-2022 15:29	654K
	libcoq-extructures_0.3.1-2build2_amd64.deb	03-Dec-2022 11:54	654K
	libcoq-extructures_0.3.1-3_amd64.deb	27-Jan-2023 08:55	654K