../ coq-deriving_0.1.0-2.debian.tar.xz 26-Jan-2023 12:44 1968 coq-deriving_0.1.0-2.dsc 26-Jan-2023 12:44 2113 coq-deriving_0.1.0.orig.tar.gz 16-Jul-2022 07:56 29290 coq-deriving_0.2.1-1.debian.tar.xz 18-Dec-2024 16:08 2220 coq-deriving_0.2.1-1.dsc 18-Dec-2024 16:08 2125 coq-deriving_0.2.1.orig.tar.gz 18-Dec-2024 16:08 31849 coq-deriving_0.2.3-3.debian.tar.xz 12-Aug-2026 06:56 2408 coq-deriving_0.2.3-3.dsc 12-Aug-2026 06:56 2132 coq-deriving_0.2.3.orig.tar.gz 20-Jul-2026 19:56 45334 libcoq-deriving_0.1.0-2+b1_amd64.deb 13-Feb-2023 07:28 423128 libcoq-deriving_0.1.0-2+b1_arm64.deb 13-Feb-2023 07:28 423012 libcoq-deriving_0.1.0-2+b1_armhf.deb 13-Feb-2023 07:28 422376 libcoq-deriving_0.1.0-2+b1_i386.deb 13-Feb-2023 07:08 422196 libcoq-deriving_0.1.0-2+b1_ppc64el.deb 13-Feb-2023 23:55 422720 libcoq-deriving_0.1.0-2+b1_s390x.deb 13-Feb-2023 10:15 423060 libcoq-deriving_0.2.1-1+b7_amd64.deb 15-Jun-2025 04:21 493732 libcoq-deriving_0.2.1-1+b7_arm64.deb 15-Jun-2025 07:38 493920 libcoq-deriving_0.2.1-1+b7_ppc64el.deb 15-Jun-2025 08:49 493860 libcoq-deriving_0.2.1-1+b7_riscv64.deb 17-Jun-2025 21:20 494012 libcoq-deriving_0.2.1-1+b7_s390x.deb 17-Jun-2025 22:47 493980 libcoq-deriving_0.2.3-3+b1_amd64.deb 26-Aug-2026 17:03 491592 libcoq-deriving_0.2.3-3+b1_arm64.deb 26-Aug-2026 16:43 491880 libcoq-deriving_0.2.3-3+b1_ppc64el.deb 26-Aug-2026 17:39 491728 libcoq-deriving_0.2.3-3+b1_riscv64.deb 27-Aug-2026 06:51 491704 libcoq-deriving_0.2.3-3+b1_s390x.deb 26-Aug-2026 17:19 491796
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.