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

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-reglang_1.1.3-1.debian.tar.xz	18-Jul-2022 21:48	8.1K
	coq-reglang_1.1.3-1.dsc	18-Jul-2022 21:48	2.1K
	coq-reglang_1.1.3-2.debian.tar.xz	26-Jan-2023 14:29	8.2K
	coq-reglang_1.1.3-2.dsc	26-Jan-2023 14:29	2.1K
	coq-reglang_1.1.3.orig.tar.gz	18-Jul-2022 21:48	65K
	libcoq-reglang_1.1.3-1_amd64.deb	18-Jul-2022 23:08	804K
	libcoq-reglang_1.1.3-2_amd64.deb	26-Jan-2023 14:29	806K