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

../
coq_8.19.1+dfsg-3+b2_amd64.deb                     20-Aug-2024 18:10            86624372
coq_8.19.1+dfsg-3+b2_arm64.deb                     20-Aug-2024 18:16            91798804
coq_8.19.1+dfsg-3.debian.tar.xz                    03-Aug-2024 07:53               32904
coq_8.19.1+dfsg-3.dsc                              03-Aug-2024 07:53                2341
coq_8.19.1+dfsg.orig.tar.bz2                       26-Apr-2024 13:46             5589471
coq_8.20.0+dfsg-1.debian.tar.xz                    20-Nov-2024 09:52               30196
coq_8.20.0+dfsg-1.dsc                              20-Nov-2024 09:52                2570
coq_8.20.0+dfsg-1_amd64.deb                        20-Nov-2024 10:33            76953200
coq_8.20.0+dfsg-1_arm64.deb                        20-Nov-2024 10:58            80850472
coq_8.20.0+dfsg.orig.tar.xz                        20-Nov-2024 09:52             5012820
coqide_8.19.1+dfsg-3+b2_amd64.deb                  20-Aug-2024 18:10             2151312
coqide_8.19.1+dfsg-3+b2_arm64.deb                  20-Aug-2024 18:16             2469440
coqide_8.20.0+dfsg-1_amd64.deb                     20-Nov-2024 10:33             1927168
coqide_8.20.0+dfsg-1_arm64.deb                     20-Nov-2024 10:58             2227892
libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_amd64.deb   20-Aug-2024 18:10            67218564
libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_arm64.deb   20-Aug-2024 18:16            67061436
libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb      20-Nov-2024 10:33            69383144
libcoq-core-ocaml-dev_8.20.0+dfsg-1_arm64.deb      20-Nov-2024 10:58            69213224
libcoq-core-ocaml_8.19.1+dfsg-3+b2_amd64.deb       20-Aug-2024 18:10            25065856
libcoq-core-ocaml_8.19.1+dfsg-3+b2_arm64.deb       20-Aug-2024 18:16            25476428
libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb          20-Nov-2024 10:33            25868164
libcoq-core-ocaml_8.20.0+dfsg-1_arm64.deb          20-Nov-2024 10:58            26307472
libcoq-stdlib_8.19.1+dfsg-3+b2_amd64.deb           20-Aug-2024 18:10            23657888
libcoq-stdlib_8.19.1+dfsg-3+b2_arm64.deb           20-Aug-2024 18:16            23656208
libcoq-stdlib_8.20.0+dfsg-1_amd64.deb              20-Nov-2024 10:33            23529268
libcoq-stdlib_8.20.0+dfsg-1_arm64.deb              20-Nov-2024 10:58            23529636