Index of /kali/pool/main/c/coq-reglang/
../
coq-reglang_1.1.3-4.debian.tar.xz 06-Jul-2023 19:02 8436
coq-reglang_1.1.3-4.dsc 06-Jul-2023 19:02 2117
coq-reglang_1.1.3.orig.tar.gz 16-Jul-2022 06:06 65K
libcoq-reglang_1.1.3-1+b1_amd64.deb 27-Jul-2022 09:59 705K
libcoq-reglang_1.1.3-1+b1_arm64.deb 09-Sep-2022 06:28 708K
libcoq-reglang_1.1.3-1+b1_armhf.deb 09-Sep-2022 06:28 707K
libcoq-reglang_1.1.3-1+b1_i386.deb 09-Sep-2022 06:57 707K
libcoq-reglang_1.1.3-1+b2_amd64.deb 09-Sep-2022 08:43 707K
libcoq-reglang_1.1.3-1+b2_arm64.deb 30-Nov-2022 13:27 708K
libcoq-reglang_1.1.3-1+b2_armhf.deb 30-Nov-2022 12:42 707K
libcoq-reglang_1.1.3-1+b2_i386.deb 30-Nov-2022 10:40 707K
libcoq-reglang_1.1.3-1+b3_amd64.deb 30-Nov-2022 13:27 708K
libcoq-reglang_1.1.3-2+b1_amd64.deb 13-Feb-2023 16:28 708K
libcoq-reglang_1.1.3-2+b1_arm64.deb 13-Feb-2023 16:28 707K
libcoq-reglang_1.1.3-2+b1_armhf.deb 13-Feb-2023 16:28 707K
libcoq-reglang_1.1.3-2+b1_i386.deb 13-Feb-2023 16:39 707K
libcoq-reglang_1.1.3-4+b1_amd64.deb 23-Jul-2023 16:41 707K
libcoq-reglang_1.1.3-4+b1_arm64.deb 23-Jul-2023 16:57 707K
libcoq-reglang_1.1.3-4+b1_armhf.deb 23-Jul-2023 16:57 707K
libcoq-reglang_1.1.3-4+b1_i386.deb 23-Jul-2023 16:41 707K
libcoq-reglang_1.1.3-4+b2_amd64.deb 22-Sep-2023 18:14 708K
libcoq-reglang_1.1.3-4+b2_arm64.deb 22-Sep-2023 20:11 707K
libcoq-reglang_1.1.3-4+b2_armhf.deb 22-Sep-2023 18:55 707K
libcoq-reglang_1.1.3-4+b2_i386.deb 22-Sep-2023 18:14 707K
libcoq-reglang_1.1.3-4_amd64.deb 06-Jul-2023 20:13 707K
libcoq-reglang_1.1.3-4_arm64.deb 06-Jul-2023 20:14 707K
libcoq-reglang_1.1.3-4_armhf.deb 06-Jul-2023 20:14 707K
libcoq-reglang_1.1.3-4_i386.deb 06-Jul-2023 19:58 707K