Index of /debian/pool/main/c/coq-iris/
../
coq-iris_4.0.0-3.debian.tar.xz 26-Jan-2023 20:44 11980
coq-iris_4.0.0-3.dsc 26-Jan-2023 20:44 2152
coq-iris_4.0.0.orig.tar.gz 19-Aug-2022 17:47 701165
coq-iris_4.1.0-1.debian.tar.xz 22-Dec-2023 19:07 12072
coq-iris_4.1.0-1.dsc 22-Dec-2023 19:07 2162
coq-iris_4.1.0.orig.tar.gz 22-Dec-2023 19:07 749982
coq-iris_4.2.0-1.debian.tar.xz 26-Apr-2024 22:06 12108
coq-iris_4.2.0-1.dsc 26-Apr-2024 22:06 2162
coq-iris_4.2.0-2.debian.tar.xz 11-Jun-2024 00:10 12496
coq-iris_4.2.0-2.dsc 11-Jun-2024 00:10 2162
coq-iris_4.2.0-3.debian.tar.xz 04-Aug-2024 13:19 12648
coq-iris_4.2.0-3.dsc 04-Aug-2024 13:19 1930
coq-iris_4.2.0.orig.tar.gz 26-Apr-2024 22:06 764668
coq-iris_4.3.0-1.debian.tar.xz 20-Nov-2024 18:07 12660
coq-iris_4.3.0-1.dsc 20-Nov-2024 18:07 2165
coq-iris_4.3.0.orig.tar.bz2 20-Nov-2024 18:07 622627
coq-iris_4.4.0-1.debian.tar.xz 29-Oct-2025 17:39 12724
coq-iris_4.4.0-1.dsc 29-Oct-2025 17:39 2167
coq-iris_4.4.0-2.debian.tar.xz 12-Nov-2025 02:41 12760
coq-iris_4.4.0-2.dsc 12-Nov-2025 02:41 2174
coq-iris_4.4.0.orig.tar.bz2 29-Oct-2025 17:39 638644
libcoq-iris_4.0.0-3+b1_amd64.deb 13-Feb-2023 15:44 11678216
libcoq-iris_4.1.0-1_amd64.deb 23-Dec-2023 20:13 11913168
libcoq-iris_4.2.0-1_amd64.deb 28-Apr-2024 23:32 12673976
libcoq-iris_4.2.0-2+b1_amd64.deb 15-Jun-2024 19:51 12675396
libcoq-iris_4.2.0-2_amd64.deb 11-Jun-2024 00:55 12676192
libcoq-iris_4.2.0-3+b1_amd64.deb 12-Aug-2024 12:25 12681524
libcoq-iris_4.2.0-3+b2_amd64.deb 21-Aug-2024 12:35 12678900
libcoq-iris_4.2.0-3_amd64.deb 04-Aug-2024 14:16 12679804
libcoq-iris_4.3.0-1+b1_amd64.deb 30-Jan-2025 16:02 12612420
libcoq-iris_4.3.0-1+b4_amd64.deb 18-Feb-2025 11:08 12613904
libcoq-iris_4.3.0-1+b5_amd64.deb 15-Jun-2025 21:32 12612620
libcoq-iris_4.3.0-1+b6_amd64.deb 28-Dec-2025 12:55 12606896
libcoq-iris_4.3.0-1_amd64.deb 20-Nov-2024 23:58 12613076
libcoq-iris_4.4.0-1_amd64.deb 29-Oct-2025 17:39 13043080
libcoq-iris_4.4.0-2_amd64.deb 12-Nov-2025 02:41 13041100