../ coq-reglang_1.1.3-2.debian.tar.xz 16-Feb-2023 22:51 8392 coq-reglang_1.1.3-2.dsc 16-Feb-2023 22:51 2111 coq-reglang_1.1.3.orig.tar.gz 16-Feb-2023 22:51 67023 libcoq-reglang_1.1.3-2+b1_amd64.deb 16-Feb-2023 22:27 724528 libcoq-reglang_1.1.3-2+b1_arm64.deb 16-Feb-2023 22:44 724460 libcoq-reglang_1.1.3-2+b1_i386.deb 16-Feb-2023 22:37 724248