../ coq-reglang_1.1.3-2.debian.tar.xz 20-Apr-2023 12:16 8392 coq-reglang_1.1.3-2.dsc 20-Apr-2023 12:16 2111 coq-reglang_1.1.3.orig.tar.gz 20-Apr-2023 12:16 67023 libcoq-reglang_1.1.3-2+b1_amd64.deb 20-Apr-2023 12:16 724528 libcoq-reglang_1.1.3-2+b1_i386.deb 20-Apr-2023 12:16 724248