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

	Name	Last modified	Size
	Parent Directory		-
	coq-menhirlib_20220210+ds-2.debian.tar.xz	2022-07-16 02:23	1.6K
	coq-menhirlib_20220210+ds-4build2.debian.tar.xz	2023-02-16 21:50	1.8K
	coq-menhirlib_20230608+ds-1build1.debian.tar.xz	2023-07-26 08:19	1.8K
	coq-menhirlib_20230608+ds-2.debian.tar.xz	2023-12-22 20:26	1.9K
	coq-menhirlib_20231231+ds-1.debian.tar.xz	2024-01-21 08:45	1.9K
	coq-menhirlib_20230608+ds-2build1.debian.tar.xz	2023-12-23 04:42	1.9K
	coq-menhirlib_20220210+ds-2.dsc	2022-07-16 02:23	2.1K
	coq-menhirlib_20220210+ds-4build2.dsc	2023-02-16 21:50	2.1K
	coq-menhirlib_20230608+ds-1build1.dsc	2023-07-26 08:19	2.1K
	coq-menhirlib_20230608+ds-2build1.dsc	2023-12-23 04:42	2.1K
	coq-menhirlib_20230608+ds-2.dsc	2023-12-22 20:26	2.1K
	coq-menhirlib_20231231+ds-1.dsc	2024-01-21 08:45	2.1K
	coq-menhirlib_20230608+ds.orig.tar.xz	2023-06-26 15:09	37K
	coq-menhirlib_20220210+ds.orig.tar.xz	2022-07-09 08:18	37K
	coq-menhirlib_20231231+ds.orig.tar.xz	2024-01-21 08:45	44K
	libcoq-menhirlib_20231231+ds-1_amd64.deb	2024-01-21 08:45	1.4M
	libcoq-menhirlib_20220210+ds-2_amd64.deb	2022-07-16 02:23	1.6M
	libcoq-menhirlib_20230608+ds-1build1_amd64.deb	2023-07-26 09:22	1.7M
	libcoq-menhirlib_20220210+ds-4build2_amd64.deb	2023-02-16 21:50	1.7M
	libcoq-menhirlib_20230608+ds-2build1_amd64.deb	2023-12-23 04:42	1.9M
	libcoq-menhirlib_20230608+ds-2_amd64.deb	2023-12-22 20:27	2.3M