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 0000000000000000000000000000000000000000..5a8a5a0e57e0fa3c105bb39204538f814a872bfc
--- /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 0000000000000000000000000000000000000000..1f9b06cbe46da769194d39710c057adaafd1666d
--- /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 0000000000000000000000000000000000000000..4e32da55e4b02b897b32bd5368d43010987a6f65
--- /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"