opam 585 Bytes
Newer Older
1
opam-version: "1.2"
Ralf Jung's avatar
Ralf Jung committed
2
name: "coq-iris"
3
synopsis: "This is the Coq development of the Iris Project"
4 5 6
maintainer: "Ralf Jung <jung@mpi-sws.org>"
authors: "The Iris Team"
homepage: "http://iris-project.org/"
Ralf Jung's avatar
Ralf Jung committed
7
bug-reports: "https://gitlab.mpi-sws.org/iris/iris/issues"
8
license: "BSD"
Ralf Jung's avatar
Ralf Jung committed
9
dev-repo: "https://gitlab.mpi-sws.org/iris/iris.git"
10
build: [make "-j%{jobs}%"]
11
install: [make "install"]
12
remove: ["rm" "-rf" "%{lib}%/coq/user-contrib/iris"]
13
depends: [
14
  "coq" { (= "8.7.2") | (= "8.8.2") | (>= "8.9" & < "8.11~") | (= "dev") }
Robbert Krebbers's avatar
Robbert Krebbers committed
15
  "coq-stdpp" { (= "dev.2019-09-19.1.9041e6d8") | (= "dev") }
16
]