opam 686 Bytes
Newer Older
1 2 3 4 5 6 7
opam-version: "1.2"
name: "coq-iris-time"
maintainer: "Glen Mével"
authors: "Glen Mével, Jacques-Henri Jourdan, François Pottier, Arthur Charguéraud"
synopsis: "Iris with time credits and time credits"
bug-reports: "https://gitlab.inria.fr/gmevel/iris-time-proofs/issues"
dev-repo: "https://gitlab.inria.fr/gmevel/iris-time-proofs.git"
Jacques-Henri Jourdan's avatar
Jacques-Henri Jourdan committed
8
homepage: "https://gitlab.inria.fr/gmevel/iris-time-proofs"
9 10
build: [make "-j%{jobs}%"]
install: [make "install"]
11
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/iris_time" ]
12
depends: [
MEVEL Glen's avatar
MEVEL Glen committed
13
  "coq" { (>= "8.9.1" & < "8.12~") | (= "dev") }
MEVEL Glen's avatar
MEVEL Glen committed
14
  "coq-iris" { (= "dev.2020-03-23.0.3a0d7152") | (= "dev") }
15 16
  "coq-tlc" { (= "20181116") | (= "dev") }
]