../ coq-reglang_1.2.1-4.debian.tar.xz 04-Aug-2024 06:22 8632 coq-reglang_1.2.1-4.dsc 04-Aug-2024 06:22 1888 coq-reglang_1.2.1.orig.tar.gz 20-Jan-2024 20:13 69424 libcoq-reglang_1.2.1-4_amd64.deb 01-Feb-2025 15:13 874744 libcoq-reglang_1.2.1-4_arm64.deb 19-Feb-2025 23:50 875136 libcoq-reglang_1.2.1-4_ppc64el.deb 23-Feb-2025 11:29 875176 libcoq-reglang_1.2.1-4_riscv64.deb 02-Mar-2025 10:50 875132