Skip to content
Snippets Groups Projects
Commit fde6c215 authored by Ralf Jung's avatar Ralf Jung
Browse files

fix opam file a bit more

parent 4fc1ca8b
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
opam
+ 2
− 2
View file @ fde6c215
......@@ -2,14 +2,14 @@ opam-version: "2.0"
name: "coq-iris"
maintainer: "Ralf Jung <jung@mpi-sws.org>"
authors: "The Iris Team"
license: "BSD"
homepage: "http://iris-project.org/"
bug-reports: "https://gitlab.mpi-sws.org/iris/iris/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/iris/iris.git"
license: "BSD"
synopsis: "This is the Coq development of the Iris Project"
depends: [
"ocaml"
"coq" { (= "8.8.2") | (>= "8.9.1" & < "8.12~") | (= "dev") }
"coq-stdpp" { (= "dev.2019-11-22.2.16eb222f") | (= "dev") }
]
......
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