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

../
coq_8.18.0+dfsg-1.debian.tar.xz                    21-Dec-2023 13:58     32K
coq_8.18.0+dfsg-1.dsc                              21-Dec-2023 13:58    2570
coq_8.18.0+dfsg-1_amd64.deb                        21-Dec-2023 17:16     78M
coq_8.18.0+dfsg-1_arm64.deb                        21-Dec-2023 15:19     84M
coq_8.18.0+dfsg-1_armhf.deb                        21-Dec-2023 15:24     75M
coq_8.18.0+dfsg-1_i386.deb                         21-Dec-2023 18:21     74M
coq_8.18.0+dfsg.orig.tar.xz                        21-Dec-2023 13:58      5M
coqide_8.18.0+dfsg-1_amd64.deb                     21-Dec-2023 17:16      2M
coqide_8.18.0+dfsg-1_arm64.deb                     21-Dec-2023 15:19      2M
coqide_8.18.0+dfsg-1_armhf.deb                     21-Dec-2023 15:24      2M
coqide_8.18.0+dfsg-1_i386.deb                      21-Dec-2023 18:21      2M
libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb      21-Dec-2023 17:16     42M
libcoq-core-ocaml-dev_8.18.0+dfsg-1_arm64.deb      21-Dec-2023 15:19     42M
libcoq-core-ocaml-dev_8.18.0+dfsg-1_armhf.deb      21-Dec-2023 15:24     43M
libcoq-core-ocaml-dev_8.18.0+dfsg-1_i386.deb       21-Dec-2023 18:21     42M
libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb          21-Dec-2023 17:16     22M
libcoq-core-ocaml_8.18.0+dfsg-1_arm64.deb          21-Dec-2023 15:19     23M
libcoq-core-ocaml_8.18.0+dfsg-1_armhf.deb          21-Dec-2023 15:24     22M
libcoq-core-ocaml_8.18.0+dfsg-1_i386.deb           21-Dec-2023 18:21     21M
libcoq-stdlib_8.18.0+dfsg-1_amd64.deb              21-Dec-2023 17:16     22M
libcoq-stdlib_8.18.0+dfsg-1_arm64.deb              21-Dec-2023 15:19     22M
libcoq-stdlib_8.18.0+dfsg-1_armhf.deb              21-Dec-2023 15:24     22M
libcoq-stdlib_8.18.0+dfsg-1_i386.deb               21-Dec-2023 18:21     22M