Index of /kali/pool/main/c/coq
Name
Last modified
Size
Description
Parent Directory
-
coq_8.20.0+dfsg-1+b1_amd64.deb
2025-01-28 21:00
67M
coq_8.20.0+dfsg-1+b1_arm64.deb
2025-01-29 00:47
71M
coq_8.20.0+dfsg-1.debian.tar.xz
2024-11-20 13:52
29K
coq_8.20.0+dfsg-1.dsc
2024-11-20 13:52
2.5K
coq_8.20.0+dfsg.orig.tar.xz
2024-11-20 13:52
4.8M
coq_8.20.1+dfsg-1.debian.tar.xz
2025-02-17 20:37
30K
coq_8.20.1+dfsg-1.dsc
2025-02-17 20:37
2.5K
coq_8.20.1+dfsg-1_amd64.deb
2025-02-17 21:12
67M
coq_8.20.1+dfsg-1_arm64.deb
2025-02-17 21:33
71M
coq_8.20.1+dfsg.orig.tar.xz
2025-02-17 20:37
4.8M
coqide_8.20.0+dfsg-1+b1_amd64.deb
2025-01-28 21:00
1.8M
coqide_8.20.0+dfsg-1+b1_arm64.deb
2025-01-29 00:47
2.1M
coqide_8.20.1+dfsg-1_amd64.deb
2025-02-17 21:12
1.8M
coqide_8.20.1+dfsg-1_arm64.deb
2025-02-17 21:33
2.1M
libcoq-core-ocaml-dev_8.20.0+dfsg-1+b1_amd64.deb
2025-01-28 21:00
66M
libcoq-core-ocaml-dev_8.20.0+dfsg-1+b1_arm64.deb
2025-01-29 00:47
65M
libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb
2025-02-17 21:12
66M
libcoq-core-ocaml-dev_8.20.1+dfsg-1_arm64.deb
2025-02-17 21:33
65M
libcoq-core-ocaml_8.20.0+dfsg-1+b1_amd64.deb
2025-01-28 21:00
25M
libcoq-core-ocaml_8.20.0+dfsg-1+b1_arm64.deb
2025-01-29 00:47
25M
libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb
2025-02-17 21:12
25M
libcoq-core-ocaml_8.20.1+dfsg-1_arm64.deb
2025-02-17 21:33
25M
libcoq-stdlib_8.20.0+dfsg-1+b1_amd64.deb
2025-01-28 21:00
22M
libcoq-stdlib_8.20.0+dfsg-1+b1_arm64.deb
2025-01-29 00:47
22M
libcoq-stdlib_8.20.1+dfsg-1_amd64.deb
2025-02-17 21:12
22M
libcoq-stdlib_8.20.1+dfsg-1_arm64.deb
2025-02-17 21:33
22M
Apache/2.4.41 (Ubuntu) Server at kali.itsec.am Port 443