1 files changed, 41 insertions, 0 deletions
diff --git a/coq-doc.opam b/coq-doc.opam
new file mode 100644
index 0000000000..2f4072955f
--- /dev/null
+++ b/coq-doc.opam
@@ -0,0 +1,41 @@
+synopsis: "The Coq Proof Assistant --- Reference Manual"
+description: """
+Coq is a formal proof management system. It provides
+a formal language to write mathematical definitions, executable
+algorithms and theorems together with an environment for
+semi-interactive development of machine-checked proofs.
+
+This package provides the Coq Reference Manual.
+"""
+opam-version: "2.0"
+maintainer: "The Coq development team <coqdev@inria.fr>"
+authors: "The Coq development team, INRIA, CNRS, and contributors."
+homepage: "https://coq.inria.fr/"
+bug-reports: "https://github.com/coq/coq/issues"
+dev-repo: "https://github.com/coq/coq.git"
+license: "Open Publication License"
+
+version: "dev"
+
+depends: [
+  "dune"      { build }
+  "coq"       { build & = version }
+]
+
+build-env: [
+  [ COQ_CONFIGURE_PREFIX = "%{prefix}" ]
+]
+
+build: [
+  [ "dune" "build" "-p" name "-j" jobs ]
+]
+
+# Would be better to have a *-conf package?
+depexts: [
+  [ "sphinx" ]
+  [ "sphinx_rtd_theme" ]
+  [ "beautifulsoup4" ]
+  [ "antlr4-python3-runtime"]
+  [ "pexpect" ]
+  [ "sphinxcontrib-bibtex" ]
+]