Index of /kali/pool/main/c/coq-reglang/

../
coq-reglang_1.2.2-5.debian.tar.xz                  12-Aug-2026 08:01    9672
coq-reglang_1.2.2-5.dsc                            12-Aug-2026 08:01    2148
coq-reglang_1.2.2.orig.tar.gz                      30-Oct-2025 08:18     68K
libcoq-reglang_1.2.2-5+b3_amd64.deb                02-Nov-2026 08:01    866K
libcoq-reglang_1.2.2-5+b3_arm64.deb                02-Nov-2026 08:01    866K