Automatic publication of coq-iris.dev.2018-10-05.3.18729ff5

packages/coq-iris/coq-iris.dev.2018-10-05.3.18729ff5/descr

+This is the Coq development of the Iris Project.

packages/coq-iris/coq-iris.dev.2018-10-05.3.18729ff5/opam

+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") }
+]

packages/coq-iris/coq-iris.dev.2018-10-05.3.18729ff5/url

+git: "https://gitlab.mpi-sws.org/FP/iris-coq.git#18729ff5096ee4b994ecc15d0e4b08e3d86652a0"