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

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-iris_4.1.0-1build3.debian.tar.xz	08-Apr-2024 19:57	12K
	coq-iris_4.1.0-1build3.dsc	08-Apr-2024 19:57	2.2K
	coq-iris_4.1.0.orig.tar.gz	24-Dec-2023 06:16	732K
	coq-iris_4.3.0-1build4.debian.tar.xz	19-Feb-2025 20:52	13K
	coq-iris_4.3.0-1build4.dsc	19-Feb-2025 20:52	2.1K
	coq-iris_4.3.0-1build5.debian.tar.xz	21-Jun-2025 01:22	13K
	coq-iris_4.3.0-1build5.dsc	21-Jun-2025 01:22	2.1K
	coq-iris_4.3.0-1build6.debian.tar.xz	06-Jan-2026 09:02	13K
	coq-iris_4.3.0-1build6.dsc	06-Jan-2026 09:02	2.1K
	coq-iris_4.3.0-1ubuntu1.debian.tar.xz	11-Jan-2026 11:44	13K
	coq-iris_4.3.0-1ubuntu1.dsc	11-Jan-2026 11:44	2.1K
	coq-iris_4.3.0.orig.tar.bz2	21-Nov-2024 07:47	608K
	libcoq-iris_4.1.0-1build3_amd64.deb	09-Apr-2024 01:14	13M
	libcoq-iris_4.3.0-1build4_amd64.deb	19-Feb-2025 20:53	14M
	libcoq-iris_4.3.0-1build5_amd64.deb	21-Jun-2025 05:40	14M
	libcoq-iris_4.3.0-1build6_amd64.deb	06-Jan-2026 13:08	14M
	libcoq-iris_4.3.0-1build6_amd64v3.deb	06-Jan-2026 13:09	14M
	libcoq-iris_4.3.0-1ubuntu1_amd64.deb	11-Jan-2026 14:07	14M
	libcoq-iris_4.3.0-1ubuntu1_amd64v3.deb	11-Jan-2026 14:07	14M