Index of /ubuntu/pool/universe/c/coq/

../
coq-theories_8.11.0-1_amd64.deb                    12-Mar-2022 14:08     32M
coq-theories_8.6-5build1_amd64.deb                 11-Mar-2022 19:33     32M
coq_8.11.0-1_amd64.deb                             12-Mar-2022 14:08     73M
coq_8.15.0+dfsg-2_amd64.deb                        07-Nov-2023 16:30     91M
coq_8.6-5build1_amd64.deb                          11-Mar-2022 19:33     17M
coqide_8.11.0-1_amd64.deb                          12-Mar-2022 14:08      2M
coqide_8.15.0+dfsg-2_amd64.deb                     07-Nov-2023 16:30      2M
coqide_8.6-5build1_amd64.deb                       11-Mar-2022 19:33      1M
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb      07-Nov-2023 16:30     43M
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb          07-Nov-2023 16:30     26M
libcoq-ocaml-dev_8.11.0-1_amd64.deb                12-Mar-2022 14:08     15M
libcoq-ocaml-dev_8.6-5build1_amd64.deb             11-Mar-2022 19:33     13M
libcoq-ocaml_8.11.0-1_amd64.deb                    12-Mar-2022 14:08      6M
libcoq-ocaml_8.6-5build1_amd64.deb                 11-Mar-2022 19:33      3M
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb              07-Nov-2023 16:30     24M