../ coq-reglang_1.2.1-1build5.debian.tar.xz 08-Apr-2024 07:57 8768 coq-reglang_1.2.1-1build5.dsc 08-Apr-2024 07:57 2195 coq-reglang_1.2.1-4build12.debian.tar.xz 19-Feb-2025 07:52 8944 coq-reglang_1.2.1-4build12.dsc 19-Feb-2025 07:52 2120 coq-reglang_1.2.1.orig.tar.gz 21-Jan-2024 05:45 68K libcoq-reglang_1.2.1-1build5_riscv64.deb 14-Apr-2025 22:22 805K libcoq-reglang_1.2.1-4build12_riscv64.deb 20-Feb-2025 20:16 971K