Index of /kali/pool/main/c/coq-reglang/
../
coq-reglang_1.2.1-4.debian.tar.xz 04-Aug-2024 13:22 8632
coq-reglang_1.2.1-4.dsc 04-Aug-2024 13:22 1888
coq-reglang_1.2.1.orig.tar.gz 21-Jan-2024 03:13 68K
libcoq-reglang_1.2.1-4+b5_amd64.deb 13-Oct-2024 18:49 835K
libcoq-reglang_1.2.1-4+b5_arm64.deb 13-Oct-2024 19:25 835K
libcoq-reglang_1.2.1-4+b7_arm64.deb 20-Dec-2024 04:31 855K
libcoq-reglang_1.2.1-4+b8_amd64.deb 20-Dec-2024 02:54 855K
libcoq-reglang_1.2.1-4+b8_arm64.deb 15-Jan-2025 15:14 855K
libcoq-reglang_1.2.1-4+b9_amd64.deb 15-Jan-2025 13:47 854K