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

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

mirror server hosted at Truenetwork, Russian Federation.