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

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-iris_4.0.0-1.debian.tar.xz	19-Aug-2022 15:34	12K
	coq-iris_4.0.0-1.dsc	19-Aug-2022 15:34	2.1K
	coq-iris_4.0.0-2build2.debian.tar.xz	03-Dec-2022 09:29	12K
	coq-iris_4.0.0-2build2.dsc	03-Dec-2022 09:29	2.1K
	coq-iris_4.0.0-3.debian.tar.xz	26-Jan-2023 14:29	12K
	coq-iris_4.0.0-3.dsc	26-Jan-2023 14:29	2.1K
	coq-iris_4.0.0.orig.tar.gz	19-Aug-2022 15:34	685K
	libcoq-iris_4.0.0-1_amd64.deb	19-Aug-2022 17:03	13M
	libcoq-iris_4.0.0-2build2_amd64.deb	03-Dec-2022 09:29	13M
	libcoq-iris_4.0.0-3_amd64.deb	26-Jan-2023 14:54	13M