../ coq-reglang_1.1.3-2.debian.tar.xz 26-Jan-2023 12:44 8392 coq-reglang_1.1.3-2.dsc 26-Jan-2023 12:44 2111 coq-reglang_1.1.3-4.debian.tar.xz 06-Jul-2023 10:02 8436 coq-reglang_1.1.3-4.dsc 06-Jul-2023 10:02 2117 coq-reglang_1.1.3.orig.tar.gz 15-Jul-2022 21:06 67023 libcoq-reglang_1.1.3-2+b1_armhf.deb 07-Feb-2023 21:13 724372 libcoq-reglang_1.1.3-2+b3_armhf.deb 22-May-2023 04:08 724296 libcoq-reglang_1.1.3-4+b1_armhf.deb 20-Oct-2023 23:59 724232