opam-version: "1.2" name: "coq-iron" maintainer: "Robbert Krebbers" authors: "Aleš Bizjak, Daniel Gratzer, Robbert Krebbers" license: "BSD" bug-reports: "https://gitlab.mpi-sws.org/iris/iron/issues" dev-repo: "https://gitlab.mpi-sws.org/iris/iron.git" build: [make "-j%{jobs}%"] install: [make "install"] remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/iron" ] depends: [
"coq-iris" { (= "dev.2020-04-04.3.9b2ad256") | (= "dev") }
]