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

../
coq_8.19.1+dfsg-2.debian.tar.xz                    15-Jun-2024 06:05               32852
coq_8.19.1+dfsg-2.dsc                              15-Jun-2024 06:05                2341
coq_8.19.1+dfsg-2_amd64.deb                        15-Jun-2024 06:46            82408248
coq_8.19.1+dfsg-2_arm64.deb                        15-Jun-2024 07:02            87839636
coq_8.19.1+dfsg-2_armhf.deb                        15-Jun-2024 06:47            79354260
coq_8.19.1+dfsg-2_i386.deb                         15-Jun-2024 06:47            78939068
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
coqide_8.19.1+dfsg-2_amd64.deb                     15-Jun-2024 06:46             2007760
coqide_8.19.1+dfsg-2_arm64.deb                     15-Jun-2024 07:02             2335816
coqide_8.19.1+dfsg-2_armhf.deb                     15-Jun-2024 06:47             1848968
coqide_8.19.1+dfsg-2_i386.deb                      15-Jun-2024 06:47             1821012
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
libcoq-core-ocaml-dev_8.19.1+dfsg-2_amd64.deb      15-Jun-2024 06:46            45600788
libcoq-core-ocaml-dev_8.19.1+dfsg-2_arm64.deb      15-Jun-2024 07:02            45626648
libcoq-core-ocaml-dev_8.19.1+dfsg-2_armhf.deb      15-Jun-2024 06:47            45968040
libcoq-core-ocaml-dev_8.19.1+dfsg-2_i386.deb       15-Jun-2024 06:47            45432792
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_8.19.1+dfsg-2_amd64.deb          15-Jun-2024 06:46            23200112
libcoq-core-ocaml_8.19.1+dfsg-2_arm64.deb          15-Jun-2024 07:02            23706108
libcoq-core-ocaml_8.19.1+dfsg-2_armhf.deb          15-Jun-2024 06:47            23046992
libcoq-core-ocaml_8.19.1+dfsg-2_i386.deb           15-Jun-2024 06:47            22638372
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-stdlib_8.19.1+dfsg-2_amd64.deb              15-Jun-2024 06:46            23653476
libcoq-stdlib_8.19.1+dfsg-2_arm64.deb              15-Jun-2024 07:02            23655964
libcoq-stdlib_8.19.1+dfsg-2_armhf.deb              15-Jun-2024 06:47            23655384
libcoq-stdlib_8.19.1+dfsg-2_i386.deb               15-Jun-2024 06:47            23654068
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