Index of /ubuntu/pool/universe/c/coq-iris/
../
coq-iris_4.0.0-3build1.debian.tar.xz 17-Feb-2023 01:50 12K
coq-iris_4.0.0-3build1.dsc 17-Feb-2023 01:50 2151
coq-iris_4.0.0-4build1.debian.tar.xz 26-Jul-2023 12:19 12K
coq-iris_4.0.0-4build1.dsc 26-Jul-2023 12:19 2151
coq-iris_4.0.0-4build2.debian.tar.xz 06-Nov-2023 23:44 12K
coq-iris_4.0.0-4build2.dsc 06-Nov-2023 23:44 2151
coq-iris_4.0.0-4build3.debian.tar.xz 23-Nov-2023 07:05 12K
coq-iris_4.0.0-4build3.dsc 23-Nov-2023 07:05 2151
coq-iris_4.0.0-4build4.debian.tar.xz 23-Dec-2023 19:47 12K
coq-iris_4.0.0-4build4.dsc 23-Dec-2023 19:47 2151
coq-iris_4.0.0.orig.tar.gz 20-Aug-2022 00:34 685K
coq-iris_4.1.0-1.debian.tar.xz 24-Dec-2023 00:16 12K
coq-iris_4.1.0-1.dsc 24-Dec-2023 00:16 2162
coq-iris_4.1.0-1build1.debian.tar.xz 26-Mar-2024 01:52 12K
coq-iris_4.1.0-1build1.dsc 26-Mar-2024 01:52 2277
coq-iris_4.1.0-1build2.debian.tar.xz 01-Apr-2024 01:36 12K
coq-iris_4.1.0-1build2.dsc 01-Apr-2024 01:36 2277
coq-iris_4.1.0-1build3.debian.tar.xz 08-Apr-2024 14:57 12K
coq-iris_4.1.0-1build3.dsc 08-Apr-2024 14:57 2240
coq-iris_4.1.0.orig.tar.gz 24-Dec-2023 00:16 732K
coq-iris_4.2.0-1.debian.tar.xz 02-May-2024 18:53 12K
coq-iris_4.2.0-1.dsc 02-May-2024 18:53 2162
coq-iris_4.2.0-1build1.debian.tar.xz 03-May-2024 03:28 12K
coq-iris_4.2.0-1build1.dsc 03-May-2024 03:28 2161
coq-iris_4.2.0-1build2.debian.tar.xz 14-May-2024 01:39 12K
coq-iris_4.2.0-1build2.dsc 14-May-2024 01:39 2161
coq-iris_4.2.0-2.debian.tar.xz 11-Jun-2024 06:38 12K
coq-iris_4.2.0-2.dsc 11-Jun-2024 06:38 2162
coq-iris_4.2.0-2build1.debian.tar.xz 15-Jun-2024 21:43 12K
coq-iris_4.2.0-2build1.dsc 15-Jun-2024 21:43 2161
coq-iris_4.2.0-3.debian.tar.xz 04-Aug-2024 18:34 12K
coq-iris_4.2.0-3.dsc 04-Aug-2024 18:34 1930
coq-iris_4.2.0-3build1.debian.tar.xz 15-Aug-2024 14:47 12K
coq-iris_4.2.0-3build1.dsc 15-Aug-2024 14:47 2161
coq-iris_4.2.0-3build2.debian.tar.xz 07-Sep-2024 14:08 12K
coq-iris_4.2.0-3build2.dsc 07-Sep-2024 14:08 2161
coq-iris_4.2.0-3build3.debian.tar.xz 08-Sep-2024 02:04 12K
coq-iris_4.2.0-3build3.dsc 08-Sep-2024 02:04 2161
coq-iris_4.2.0.orig.tar.gz 02-May-2024 18:53 747K
coq-iris_4.3.0-1.debian.tar.xz 21-Nov-2024 01:47 12K
coq-iris_4.3.0-1.dsc 21-Nov-2024 01:47 2165
coq-iris_4.3.0-1build1.debian.tar.xz 02-Feb-2025 14:27 12K
coq-iris_4.3.0-1build1.dsc 02-Feb-2025 14:27 2164
coq-iris_4.3.0-1build2.debian.tar.xz 14-Feb-2025 07:54 12K
coq-iris_4.3.0-1build2.dsc 14-Feb-2025 07:54 2164
coq-iris_4.3.0-1build3.debian.tar.xz 19-Feb-2025 09:07 13K
coq-iris_4.3.0-1build3.dsc 19-Feb-2025 09:07 2164
coq-iris_4.3.0-1build4.debian.tar.xz 19-Feb-2025 14:52 13K
coq-iris_4.3.0-1build4.dsc 19-Feb-2025 14:52 2164
coq-iris_4.3.0-1build5.debian.tar.xz 20-Jun-2025 20:22 13K
coq-iris_4.3.0-1build5.dsc 20-Jun-2025 20:22 2164
coq-iris_4.3.0.orig.tar.bz2 21-Nov-2024 01:47 608K
libcoq-iris_4.0.0-3build1_amd64.deb 17-Feb-2023 03:44 13M
libcoq-iris_4.0.0-4build1_amd64.deb 26-Jul-2023 14:55 13M
libcoq-iris_4.0.0-4build2_amd64.deb 07-Nov-2023 18:24 13M
libcoq-iris_4.0.0-4build3_amd64.deb 23-Nov-2023 07:40 13M
libcoq-iris_4.1.0-1_amd64.deb 24-Dec-2023 00:56 16M
libcoq-iris_4.1.0-1build1_amd64.deb 26-Mar-2024 02:43 13M
libcoq-iris_4.1.0-1build2_amd64.deb 01-Apr-2024 03:36 13M
libcoq-iris_4.1.0-1build3_amd64.deb 08-Apr-2024 20:14 13M
libcoq-iris_4.2.0-1build1_amd64.deb 03-May-2024 05:58 14M
libcoq-iris_4.2.0-1build2_amd64.deb 14-May-2024 02:24 14M
libcoq-iris_4.2.0-2_amd64.deb 11-Jun-2024 07:24 14M
libcoq-iris_4.2.0-2build1_amd64.deb 15-Jun-2024 23:49 14M
libcoq-iris_4.2.0-3_amd64.deb 04-Aug-2024 23:09 14M
libcoq-iris_4.2.0-3build1_amd64.deb 15-Aug-2024 17:32 14M
libcoq-iris_4.2.0-3build2_amd64.deb 07-Sep-2024 15:10 14M
libcoq-iris_4.2.0-3build3_amd64.deb 08-Sep-2024 02:05 14M
libcoq-iris_4.3.0-1_amd64.deb 21-Nov-2024 15:16 14M
libcoq-iris_4.3.0-1build1_amd64.deb 02-Feb-2025 14:27 14M
libcoq-iris_4.3.0-1build2_amd64.deb 14-Feb-2025 15:30 14M
libcoq-iris_4.3.0-1build3_amd64.deb 19-Feb-2025 12:19 14M
libcoq-iris_4.3.0-1build4_amd64.deb 19-Feb-2025 14:53 14M
libcoq-iris_4.3.0-1build5_amd64.deb 21-Jun-2025 00:40 14M