opam-version: "1.2" name: "coq-iris-examples" 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-examples/issues" dev-repo: "https://gitlab.mpi-sws.org/FP/iris-examples.git" build: [make "-j%{jobs}%"] install: [make "install"] remove: ["rm" "-rf" "%{lib}%/coq/user-contrib/iris_examples"] depends: [
"coq-iris" { (= "dev.2019-06-11.2.0a05a8c0") | (= "dev") }
"coq-autosubst" { = "dev.coq86" }
]
