From aea575baab434d9553d213c7a0af473e7c636afc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maxime=20D=C3=A9n=C3=A8s?= <mail@maximedenes.fr>
Date: Fri, 16 Dec 2016 22:40:29 +0100
Subject: [PATCH] Add Coq 8.6.

---
 packages/coq/coq.8.6/descr             |  1 +
 packages/coq/coq.8.6/files/coq.install | 13 ++++++++++
 packages/coq/coq.8.6/opam              | 34 ++++++++++++++++++++++++++
 packages/coq/coq.8.6/url               |  2 ++
 4 files changed, 50 insertions(+)
 create mode 100644 packages/coq/coq.8.6/descr
 create mode 100644 packages/coq/coq.8.6/files/coq.install
 create mode 100644 packages/coq/coq.8.6/opam
 create mode 100644 packages/coq/coq.8.6/url

diff --git a/packages/coq/coq.8.6/descr b/packages/coq/coq.8.6/descr
new file mode 100644
index 00000000000..7a3f089a6ba
--- /dev/null
+++ b/packages/coq/coq.8.6/descr
@@ -0,0 +1 @@
+Formal proof management system.
diff --git a/packages/coq/coq.8.6/files/coq.install b/packages/coq/coq.8.6/files/coq.install
new file mode 100644
index 00000000000..36f81118b61
--- /dev/null
+++ b/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"
+]
diff --git a/packages/coq/coq.8.6/opam b/packages/coq/coq.8.6/opam
new file mode 100644
index 00000000000..f066c1e14c1
--- /dev/null
+++ b/packages/coq/coq.8.6/opam
@@ -0,0 +1,34 @@
+opam-version: "1.2"
+name: "coq"
+version: "8.6"
+maintainer: "Maxime Dénès <mail@maximedenes.fr>"
+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"]
diff --git a/packages/coq/coq.8.6/url b/packages/coq/coq.8.6/url
new file mode 100644
index 00000000000..67f860cb399
--- /dev/null
+++ b/packages/coq/coq.8.6/url
@@ -0,0 +1,2 @@
+http: "https://github.com/coq/coq/archive/V8.6.tar.gz"
+checksum: "d60092c39f0cf428b35efff71641c3eb"