Commit 040307f9 authored by Ralf Jung's avatar Ralf Jung
Browse files

initial commit

parents
# OPAM archive for Iris and related projects
This OPAM repository provides development versions of Iris and related projects. The versions
here are automatically created when things are pushed to the respective repositories.
This is the Coq development of the Iris Project.
opam-version: "1.2"
name: "coq-iris"
version: "dev"
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: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/iris'" ]
depends: [
"coq" { (>= "8.6.1" & < "8.8~") } # replace with (= "dev") if you want to test against a development version of Coq
"coq-mathcomp-ssreflect" { ((>= "1.6.1" & < "1.7~") | (= "dev")) }
"coq-stdpp"
]
git: "https://gitlab.mpi-sws.org/FP/iris-coq.git#0100a7b19fe36a70a6d619d0b6fa17cbcba07c92"
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment