Index of /extended-lts/pool/main/c/coq/

../
coq-theories_8.4pl4dfsg-1_all.deb                  24-Jan-2023 16:08            32177364
coq-theories_8.6-4_amd64.deb                       24-Apr-2023 12:05            31441296
coq-theories_8.9.0-1_amd64.deb                     15-Apr-2024 07:58            29737672
coq_8.4pl4dfsg-1_amd64.deb                         24-Jan-2023 16:05             4047862
coq_8.6-4_amd64.deb                                24-Apr-2023 12:25            13953402
coq_8.9.0-1_amd64.deb                              15-Apr-2024 08:01            58990560
coqide_8.4pl4dfsg-1_amd64.deb                      24-Jan-2023 16:10              797340
coqide_8.6-4_amd64.deb                             24-Apr-2023 11:27             1406016
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb            24-Jan-2023 15:59             3780318
libcoq-ocaml-dev_8.6-4_amd64.deb                   24-Apr-2023 12:22            13289600
libcoq-ocaml-dev_8.9.0-1_amd64.deb                 15-Apr-2024 08:01            13703936
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb                24-Jan-2023 16:09             1637886
libcoq-ocaml_8.6-4_amd64.deb                       24-Apr-2023 11:43             3502166
libcoq-ocaml_8.9.0-1_amd64.deb                     15-Apr-2024 08:02             5463112