Index of /nfs-4.0/pool/upstream/c/coq/

../
coq-theories_8.6-4_amd64.deb                       27-Nov-2019 13:36            31441296
coq_8.6-4_amd64.deb                                27-Nov-2019 13:36            13953402
coqide_8.6-4_amd64.deb                             27-Nov-2019 13:36             1406016
libcoq-ocaml-dev_8.6-4_amd64.deb                   27-Nov-2019 13:36            13289600
libcoq-ocaml_8.6-4_amd64.deb                       27-Nov-2019 13:36             3502166