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

../
coq-theories_8.6-4_amd64.deb                       07-Sep-2023 09:14            31441296
coq_8.6-4_amd64.deb                                07-Sep-2023 09:14            13953402
coqide_8.6-4_amd64.deb                             07-Sep-2023 09:14             1406016
libcoq-ocaml-dev_8.6-4_amd64.deb                   07-Sep-2023 09:14            13289600
libcoq-ocaml_8.6-4_amd64.deb                       07-Sep-2023 09:14             3502166