coq-io/opam-website

Generation of a sample Coq website for OPAM

CoqMIT