Index of /kali/pool/main/c/coq
Name
Last modified
Size
Description
Parent Directory
-
coq_8.19.1+dfsg-2.debian.tar.xz
2024-06-15 10:05
32K
coq_8.19.1+dfsg-2.dsc
2024-06-15 10:05
2.3K
coq_8.19.1+dfsg-2_amd64.deb
2024-06-15 10:46
79M
coq_8.19.1+dfsg-2_arm64.deb
2024-06-15 11:02
84M
coq_8.19.1+dfsg-2_armhf.deb
2024-06-15 10:47
76M
coq_8.19.1+dfsg-2_i386.deb
2024-06-15 10:47
75M
coq_8.19.1+dfsg-3+b2_amd64.deb
2024-08-20 22:10
83M
coq_8.19.1+dfsg-3+b2_arm64.deb
2024-08-20 22:16
88M
coq_8.19.1+dfsg-3.debian.tar.xz
2024-08-03 11:53
32K
coq_8.19.1+dfsg-3.dsc
2024-08-03 11:53
2.3K
coq_8.19.1+dfsg.orig.tar.bz2
2024-04-26 17:46
5.3M
coqide_8.19.1+dfsg-2_amd64.deb
2024-06-15 10:46
1.9M
coqide_8.19.1+dfsg-2_arm64.deb
2024-06-15 11:02
2.2M
coqide_8.19.1+dfsg-2_armhf.deb
2024-06-15 10:47
1.8M
coqide_8.19.1+dfsg-2_i386.deb
2024-06-15 10:47
1.7M
coqide_8.19.1+dfsg-3+b2_amd64.deb
2024-08-20 22:10
2.1M
coqide_8.19.1+dfsg-3+b2_arm64.deb
2024-08-20 22:16
2.4M
libcoq-core-ocaml-dev_8.19.1+dfsg-2_amd64.deb
2024-06-15 10:46
43M
libcoq-core-ocaml-dev_8.19.1+dfsg-2_arm64.deb
2024-06-15 11:02
44M
libcoq-core-ocaml-dev_8.19.1+dfsg-2_armhf.deb
2024-06-15 10:47
44M
libcoq-core-ocaml-dev_8.19.1+dfsg-2_i386.deb
2024-06-15 10:47
43M
libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_amd64.deb
2024-08-20 22:10
64M
libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_arm64.deb
2024-08-20 22:16
64M
libcoq-core-ocaml_8.19.1+dfsg-2_amd64.deb
2024-06-15 10:46
22M
libcoq-core-ocaml_8.19.1+dfsg-2_arm64.deb
2024-06-15 11:02
23M
libcoq-core-ocaml_8.19.1+dfsg-2_armhf.deb
2024-06-15 10:47
22M
libcoq-core-ocaml_8.19.1+dfsg-2_i386.deb
2024-06-15 10:47
22M
libcoq-core-ocaml_8.19.1+dfsg-3+b2_amd64.deb
2024-08-20 22:10
24M
libcoq-core-ocaml_8.19.1+dfsg-3+b2_arm64.deb
2024-08-20 22:16
24M
libcoq-stdlib_8.19.1+dfsg-2_amd64.deb
2024-06-15 10:46
23M
libcoq-stdlib_8.19.1+dfsg-2_arm64.deb
2024-06-15 11:02
23M
libcoq-stdlib_8.19.1+dfsg-2_armhf.deb
2024-06-15 10:47
23M
libcoq-stdlib_8.19.1+dfsg-2_i386.deb
2024-06-15 10:47
23M
libcoq-stdlib_8.19.1+dfsg-3+b2_amd64.deb
2024-08-20 22:10
23M
libcoq-stdlib_8.19.1+dfsg-3+b2_arm64.deb
2024-08-20 22:16
23M