opam-version: "2.0"
name: "coq-aneris-examples-builddep"
synopsis: "This is the Coq development for example uses of the Aneris logic"
maintainer: "Simon Gregersen <gregersen@cs.au.dk>"
authors: "The Aneris Team"
homepage: "https://iris-project.org/"
dev-repo: "git+https://bitbucket.org/logsem/aneris-examples.git"
bug-reports: "https://bitbucket.org/logsem/aneris/issues"
build: []
install: []
depends: [
  "coq" { (= "8.12.0") | (= "dev") }
  "coq-iris" { (= "dev.2020-08-07.2.b2b558ac") | (= "dev") }
  "coq-stdpp" { (= "dev.2020-08-07.0.67db2f24") | (= "dev") }
  "coq-iris-string-ident" { (= "dev") | (= "dev") }
]
