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

../
coq_8.19.1+dfsg-3+b2_amd64.deb                     21-Aug-2024 02:10     83M
coq_8.19.1+dfsg-3+b2_arm64.deb                     21-Aug-2024 02:16     88M
coq_8.19.1+dfsg-3.debian.tar.xz                    03-Aug-2024 15:53     32K
coq_8.19.1+dfsg-3.dsc                              03-Aug-2024 15:53    2341
coq_8.19.1+dfsg.orig.tar.bz2                       26-Apr-2024 21:46      5M
coq_8.20.0+dfsg-1.debian.tar.xz                    20-Nov-2024 17:52     29K
coq_8.20.0+dfsg-1.dsc                              20-Nov-2024 17:52    2570
coq_8.20.0+dfsg-1_amd64.deb                        20-Nov-2024 18:33     73M
coq_8.20.0+dfsg-1_arm64.deb                        20-Nov-2024 18:58     77M
coq_8.20.0+dfsg.orig.tar.xz                        20-Nov-2024 17:52      5M
coqide_8.19.1+dfsg-3+b2_amd64.deb                  21-Aug-2024 02:10      2M
coqide_8.19.1+dfsg-3+b2_arm64.deb                  21-Aug-2024 02:16      2M
coqide_8.20.0+dfsg-1_amd64.deb                     20-Nov-2024 18:33      2M
coqide_8.20.0+dfsg-1_arm64.deb                     20-Nov-2024 18:58      2M
libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_amd64.deb   21-Aug-2024 02:10     64M
libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_arm64.deb   21-Aug-2024 02:16     64M
libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb      20-Nov-2024 18:33     66M
libcoq-core-ocaml-dev_8.20.0+dfsg-1_arm64.deb      20-Nov-2024 18:58     66M
libcoq-core-ocaml_8.19.1+dfsg-3+b2_amd64.deb       21-Aug-2024 02:10     24M
libcoq-core-ocaml_8.19.1+dfsg-3+b2_arm64.deb       21-Aug-2024 02:16     24M
libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb          20-Nov-2024 18:33     25M
libcoq-core-ocaml_8.20.0+dfsg-1_arm64.deb          20-Nov-2024 18:58     25M
libcoq-stdlib_8.19.1+dfsg-3+b2_amd64.deb           21-Aug-2024 02:10     23M
libcoq-stdlib_8.19.1+dfsg-3+b2_arm64.deb           21-Aug-2024 02:16     23M
libcoq-stdlib_8.20.0+dfsg-1_amd64.deb              20-Nov-2024 18:33     22M
libcoq-stdlib_8.20.0+dfsg-1_arm64.deb              20-Nov-2024 18:58     22M