../ 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-2.debian.tar.xz 29-Jul-2026 06:40 2388 coq-deriving_0.2.3-2.dsc 29-Jul-2026 06:40 2132 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+b15_riscv64.deb 28-Dec-2025 22:22 493840 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_amd64.deb 12-Aug-2026 07:16 491480 libcoq-deriving_0.2.3-3_arm64.deb 12-Aug-2026 07:16 491300 libcoq-deriving_0.2.3-3_ppc64el.deb 12-Aug-2026 07:16 491484 libcoq-deriving_0.2.3-3_riscv64.deb 13-Aug-2026 16:58 491372 libcoq-deriving_0.2.3-3_s390x.deb 12-Aug-2026 07:16 491280
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.