From e3a051c58e66cde64bc36f05b06acd849d2d1adc Mon Sep 17 00:00:00 2001
From: Opam Update Bot <opam-update@botland>
Date: Fri, 5 Oct 2018 12:17:59 +0000
Subject: [PATCH] Automatic publication of coq-iris.dev.2018-10-05.3.18729ff5
---
.../coq-iris.dev.2018-10-05.3.18729ff5/descr | 1 +
.../coq-iris.dev.2018-10-05.3.18729ff5/opam | 15 +++++++++++++++
.../coq-iris.dev.2018-10-05.3.18729ff5/url | 1 +
3 files changed, 17 insertions(+)
create mode 100644 packages/coq-iris/coq-iris.dev.2018-10-05.3.18729ff5/descr
create mode 100644 packages/coq-iris/coq-iris.dev.2018-10-05.3.18729ff5/opam
create mode 100644 packages/coq-iris/coq-iris.dev.2018-10-05.3.18729ff5/url
diff --git a/packages/coq-iris/coq-iris.dev.2018-10-05.3.18729ff5/descr b/packages/coq-iris/coq-iris.dev.2018-10-05.3.18729ff5/descr
new file mode 100644
index 000000000..5a8a5a0e5
--- /dev/null
+++ b/packages/coq-iris/coq-iris.dev.2018-10-05.3.18729ff5/descr
@@ -0,0 +1 @@
+This is the Coq development of the Iris Project.
diff --git a/packages/coq-iris/coq-iris.dev.2018-10-05.3.18729ff5/opam b/packages/coq-iris/coq-iris.dev.2018-10-05.3.18729ff5/opam
new file mode 100644
index 000000000..1f9b06cbe
--- /dev/null
+++ b/packages/coq-iris/coq-iris.dev.2018-10-05.3.18729ff5/opam
@@ -0,0 +1,15 @@
+opam-version: "1.2"
+name: "coq-iris"
+maintainer: "Ralf Jung <jung@mpi-sws.org>"
+authors: "The Iris Team"
+homepage: "http://iris-project.org/"
+bug-reports: "https://gitlab.mpi-sws.org/FP/iris-coq/issues"
+license: "BSD"
+dev-repo: "https://gitlab.mpi-sws.org/FP/iris-coq.git"
+build: [make "-j%{jobs}%"]
+install: [make "install"]
+remove: ["rm" "-rf" "%{lib}%/coq/user-contrib/iris"]
+depends: [
+ "coq" { (>= "8.7.1" & < "8.9~") | (= "dev") }
+ "coq-stdpp" { (= "dev.2018-10-04.0.18c2d6e8") | (= "dev") }
+]
diff --git a/packages/coq-iris/coq-iris.dev.2018-10-05.3.18729ff5/url b/packages/coq-iris/coq-iris.dev.2018-10-05.3.18729ff5/url
new file mode 100644
index 000000000..4e32da55e
--- /dev/null
+++ b/packages/coq-iris/coq-iris.dev.2018-10-05.3.18729ff5/url
@@ -0,0 +1 @@
+git: "https://gitlab.mpi-sws.org/FP/iris-coq.git#18729ff5096ee4b994ecc15d0e4b08e3d86652a0"
--
GitLab