Name	Last modified	Size
Parent Directory		-
coq-iris_4.5.0-2build1.dsc	2026-08-31 03:08	2.1K
coq-iris_4.3.0-1build4.dsc	2025-02-19 01:52	2.1K
coq-iris_4.3.0-1build5.dsc	2025-06-20 08:22	2.1K
coq-iris_4.3.0-1ubuntu3.dsc	2026-03-04 11:33	2.1K
coq-iris_4.5.0-2.dsc	2026-08-04 05:47	2.1K
coq-iris_4.1.0-1build3.dsc	2024-04-08 02:57	2.2K
coq-iris_4.1.0-1build3.debian.tar.xz	2024-04-08 02:57	12K
coq-iris_4.3.0-1build4.debian.tar.xz	2025-02-19 01:52	13K
coq-iris_4.3.0-1build5.debian.tar.xz	2025-06-20 08:22	13K
coq-iris_4.5.0-2.debian.tar.xz	2026-08-04 05:47	13K
coq-iris_4.5.0-2build1.debian.tar.xz	2026-08-31 03:08	13K
coq-iris_4.3.0-1ubuntu3.debian.tar.xz	2026-03-04 11:33	13K
coq-iris_4.3.0.orig.tar.bz2	2024-11-20 12:47	608K
coq-iris_4.1.0.orig.tar.gz	2023-12-23 11:16	732K
coq-iris_4.5.0.orig.tar.gz	2026-08-04 05:47	797K
libcoq-iris_4.1.0-1build3_amd64.deb	2024-04-08 08:14	13M
libcoq-iris_4.3.0-1ubuntu3_arm64.deb	2026-03-04 11:34	14M
libcoq-iris_4.3.0-1ubuntu3_amd64v3.deb	2026-03-04 11:34	14M
libcoq-iris_4.3.0-1ubuntu3_amd64.deb	2026-03-04 11:34	14M
libcoq-iris_4.3.0-1build5_arm64.deb	2025-06-20 12:40	14M
libcoq-iris_4.3.0-1build5_amd64.deb	2025-06-20 12:40	14M
libcoq-iris_4.3.0-1build4_amd64.deb	2025-02-19 01:53	14M
libcoq-iris_4.5.0-2_arm64.deb	2026-08-25 22:40	15M
libcoq-iris_4.5.0-2build1_amd64.deb	2026-08-31 03:47	15M
libcoq-iris_4.5.0-2_amd64v3.deb	2026-08-25 12:59	15M
libcoq-iris_4.5.0-2_amd64.deb	2026-08-25 12:59	15M
libcoq-iris_4.5.0-2build1_amd64v3.deb	2026-08-31 03:47	15M
libcoq-iris_4.5.0-2build1_arm64.deb	2026-08-31 04:08	15M