Filename Modification time Size coq-iris_4.1.0-1build3.debian.tar.xz 2024-04-08 09:57 CEST 12 KiB coq-iris_4.1.0-1build3.dsc 2024-04-08 09:57 CEST 2240 B coq-iris_4.1.0.orig.tar.gz 2023-12-23 18:16 CET 732 KiB coq-iris_4.3.0-1build4.debian.tar.xz 2025-02-19 08:52 CET 13 KiB coq-iris_4.3.0-1build4.dsc 2025-02-19 08:52 CET 2164 B coq-iris_4.3.0-1build5.debian.tar.xz 2025-06-20 15:22 CEST 13 KiB coq-iris_4.3.0-1build5.dsc 2025-06-20 15:22 CEST 2164 B coq-iris_4.3.0-1ubuntu3.debian.tar.xz 2026-03-04 18:33 CET 13 KiB coq-iris_4.3.0-1ubuntu3.dsc 2026-03-04 18:33 CET 2168 B coq-iris_4.3.0-1ubuntu4.debian.tar.xz 2026-07-09 01:38 CEST 13 KiB coq-iris_4.3.0-1ubuntu4.dsc 2026-07-09 01:38 CEST 2168 B coq-iris_4.3.0.orig.tar.bz2 2024-11-20 19:47 CET 608 KiB coq-iris_4.5.0-2.debian.tar.xz 2026-08-04 12:47 CEST 13 KiB coq-iris_4.5.0-2.dsc 2026-08-04 12:47 CEST 2171 B coq-iris_4.5.0.orig.tar.gz 2026-08-04 12:47 CEST 797 KiB libcoq-iris_4.1.0-1build3_amd64.deb 2024-04-08 15:14 CEST 13 MiB libcoq-iris_4.3.0-1build4_amd64.deb 2025-02-19 08:53 CET 14 MiB libcoq-iris_4.3.0-1build5_amd64.deb 2025-06-20 19:40 CEST 14 MiB libcoq-iris_4.3.0-1build5_arm64.deb 2025-06-20 19:40 CEST 14 MiB libcoq-iris_4.3.0-1ubuntu3_amd64.deb 2026-03-04 18:34 CET 14 MiB libcoq-iris_4.3.0-1ubuntu3_amd64v3.deb 2026-03-04 18:34 CET 14 MiB libcoq-iris_4.3.0-1ubuntu3_arm64.deb 2026-03-04 18:34 CET 14 MiB libcoq-iris_4.3.0-1ubuntu4_amd64.deb 2026-07-09 14:10 CEST 14 MiB libcoq-iris_4.3.0-1ubuntu4_amd64v3.deb 2026-07-09 14:10 CEST 14 MiB libcoq-iris_4.3.0-1ubuntu4_arm64.deb 2026-07-09 22:11 CEST 14 MiB
