Index of /kali/pool/main/c/coq-reglang/
../
coq-reglang_1.2.1-1.debian.tar.xz 21-Jan-2024 03:13 8508
coq-reglang_1.2.1-1.dsc 21-Jan-2024 03:13 2117
coq-reglang_1.2.1.orig.tar.gz 21-Jan-2024 03:13 68K
libcoq-reglang_1.2.1-1+b1_amd64.deb 16-Feb-2024 22:04 707K
libcoq-reglang_1.2.1-1+b1_arm64.deb 17-Feb-2024 00:36 707K
libcoq-reglang_1.2.1-1+b1_armhf.deb 16-Feb-2024 21:09 707K
libcoq-reglang_1.2.1-1+b1_i386.deb 16-Feb-2024 21:59 707K
libcoq-reglang_1.2.1-1+b2_armhf.deb 01-Apr-2024 06:29 707K
libcoq-reglang_1.2.1-1_amd64.deb 21-Jan-2024 05:33 707K
libcoq-reglang_1.2.1-1_arm64.deb 21-Jan-2024 05:33 707K
libcoq-reglang_1.2.1-1_armhf.deb 21-Jan-2024 05:38 707K
libcoq-reglang_1.2.1-1_i386.deb 21-Jan-2024 05:32 707K