../ 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.2-1.debian.tar.xz 30-Oct-2025 07:18 2304 coq-deriving_0.2.2-1.dsc 30-Oct-2025 07:18 2125 coq-deriving_0.2.2-2.debian.tar.xz 11-Nov-2025 19:47 2344 coq-deriving_0.2.2-2.dsc 11-Nov-2025 19:47 2132 coq-deriving_0.2.2.orig.tar.gz 30-Oct-2025 07:18 31954 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+b13_amd64.deb 28-Oct-2025 20:48 494240 libcoq-deriving_0.2.1-1+b13_arm64.deb 28-Oct-2025 20:48 493732 libcoq-deriving_0.2.1-1+b13_ppc64el.deb 28-Oct-2025 20:43 494004 libcoq-deriving_0.2.1-1+b13_riscv64.deb 29-Oct-2025 07:18 493884 libcoq-deriving_0.2.1-1+b13_s390x.deb 28-Oct-2025 20:48 493752 libcoq-deriving_0.2.1-1+b15_amd64.deb 28-Dec-2025 06:17 494224 libcoq-deriving_0.2.1-1+b15_arm64.deb 28-Dec-2025 06:17 493844 libcoq-deriving_0.2.1-1+b15_ppc64el.deb 28-Dec-2025 06:37 493892 libcoq-deriving_0.2.1-1+b15_riscv64.deb 28-Dec-2025 22:22 493840 libcoq-deriving_0.2.1-1+b15_s390x.deb 28-Dec-2025 07:02 493856 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.2-1_arm64.deb 30-Oct-2025 15:05 493876 libcoq-deriving_0.2.2-1_ppc64el.deb 30-Oct-2025 20:42 493764 libcoq-deriving_0.2.2-1_s390x.deb 31-Oct-2025 11:28 493996 libcoq-deriving_0.2.2-2_amd64.deb 11-Nov-2025 19:47 655916
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.