../ coq-reglang_1.1.3-1.debian.tar.xz 15-Jul-2022 21:06 8328 coq-reglang_1.1.3-1.dsc 15-Jul-2022 21:06 2106 coq-reglang_1.1.3.orig.tar.gz 15-Jul-2022 21:06 67023 libcoq-reglang_1.1.3-1+b1_armhf.deb 03-Dec-2022 14:45 724300