Add Coq 8.6.

packages/coq/coq.8.6/descr

@@ -0,0 +1 @@
+Formal proof management system.

packages/coq/coq.8.6/files/coq.install

@@ -0,0 +1,13 @@
+bin: [
+  "bin/gallina"
+  "bin/coqwc"
+  "bin/coqtop"
+  "bin/coqmktop"
+  "bin/coqdoc"
+  "bin/coqdep"
+  "bin/coqchk"
+  "bin/coqc"
+  "bin/coq_makefile"
+  "bin/coq-tex"
+  "bin/coqworkmgr"
+]

packages/coq/coq.8.6/opam

@@ -0,0 +1,34 @@
+opam-version: "1.2"
+name: "coq"
+version: "8.6"
+maintainer: "Maxime Dénès <[email protected]>"
+authors: "The Coq development team, INRIA, CNRS, University Paris Sud, University Paris 7, Ecole Polytechnique."
+homepage: "https://coq.inria.fr/"
+bug-reports: "https://coq.inria.fr/bugs/"
+dev-repo: "https://github.com/coq/coq.git"
+license: "LGPL 2"
+build: [
+  [
+    "./configure"
+    "-configdir"
+    "%{lib}%/coq/config"
+    "-mandir"
+    man
+    "-prefix"
+    prefix
+    "-usecamlp5"
+    "-camlp5dir"
+    "%{lib}%/camlp5"
+    "-coqide"
+    "no"
+    "-debug"
+  ]
+  [make "-j%{jobs}%"]
+]
+remove: ["rm" "-R" "%{lib}%/coq"]
+depends: [
+  "ocamlfind"
+  "camlp5"
+]
+available: [ocaml-version >= "4.01.0"]
+install: [make "install"]

packages/coq/coq.8.6/url

@@ -0,0 +1,2 @@
+http: "https://github.com/coq/coq/archive/V8.6.tar.gz"
+checksum: "d60092c39f0cf428b35efff71641c3eb"