Index of /kali/pool/main/c/coq-reglang/
../
coq-reglang_1.2.2-5.debian.tar.xz                  12-Aug-2026 10:31    9672
coq-reglang_1.2.2-5.dsc                            12-Aug-2026 10:31    2148
coq-reglang_1.2.2.orig.tar.gz                      30-Oct-2025 10:48     68K
libcoq-reglang_1.2.2-5+b3_amd64.deb                02-Nov-2026 10:31    866K
libcoq-reglang_1.2.2-5+b3_arm64.deb                02-Nov-2026 10:31    866K