../ coq-iris_4.0.0-3.debian.tar.xz 26-Jan-2023 12:44 11980 coq-iris_4.0.0-3.dsc 26-Jan-2023 12:44 2152 coq-iris_4.0.0.orig.tar.gz 19-Aug-2022 09:47 701165 coq-iris_4.3.0-1.debian.tar.xz 20-Nov-2024 10:07 12660 coq-iris_4.3.0-1.dsc 20-Nov-2024 10:07 2165 coq-iris_4.3.0.orig.tar.bz2 20-Nov-2024 10:07 622627 coq-iris_4.4.0-1.debian.tar.xz 29-Oct-2025 09:39 12724 coq-iris_4.4.0-1.dsc 29-Oct-2025 09:39 2167 coq-iris_4.4.0-2.debian.tar.xz 11-Nov-2025 18:41 12760 coq-iris_4.4.0-2.dsc 11-Nov-2025 18:41 2174 coq-iris_4.4.0.orig.tar.bz2 29-Oct-2025 09:39 638644 libcoq-iris_4.0.0-3+b1_amd64.deb 13-Feb-2023 07:44 11678216 libcoq-iris_4.0.0-3+b1_arm64.deb 13-Feb-2023 08:29 11677700 libcoq-iris_4.0.0-3+b1_armhf.deb 13-Feb-2023 07:59 11675588 libcoq-iris_4.0.0-3+b1_i386.deb 13-Feb-2023 07:28 11674768 libcoq-iris_4.0.0-3+b1_ppc64el.deb 14-Feb-2023 11:10 11677308 libcoq-iris_4.0.0-3+b1_s390x.deb 13-Feb-2023 07:28 11671608 libcoq-iris_4.3.0-1+b4_riscv64.deb 15-Jun-2025 17:14 12609652 libcoq-iris_4.3.0-1+b5_amd64.deb 15-Jun-2025 13:32 12612620 libcoq-iris_4.3.0-1+b5_riscv64.deb 28-Dec-2025 10:56 12606376 libcoq-iris_4.3.0-1+b5_s390x.deb 16-Jun-2025 19:20 12616524 libcoq-iris_4.3.0-1+b6_amd64.deb 28-Dec-2025 04:55 12606896 libcoq-iris_4.3.0-1+b6_arm64.deb 15-Jun-2025 13:32 12615376 libcoq-iris_4.3.0-1+b6_ppc64el.deb 15-Jun-2025 13:37 12614776 libcoq-iris_4.3.0-1+b6_s390x.deb 28-Dec-2025 05:05 12603488 libcoq-iris_4.3.0-1+b7_arm64.deb 28-Dec-2025 05:00 12602728 libcoq-iris_4.3.0-1+b7_ppc64el.deb 28-Dec-2025 05:10 12603512 libcoq-iris_4.4.0-1_arm64.deb 29-Oct-2025 12:36 12962736 libcoq-iris_4.4.0-1_ppc64el.deb 29-Oct-2025 12:41 12964192 libcoq-iris_4.4.0-1_s390x.deb 29-Oct-2025 13:37 12963856 libcoq-iris_4.4.0-2_amd64.deb 11-Nov-2025 18:41 13041100
This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.