tulip-proof/tulip-proof.opam at main · mit-pdos/tulip-proof · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
opam-version: "2.0"
license: "MIT"
maintainer: "Tej Chajed"
authors: "Tulip authors"
homepage: "https://github.com/mit-pdos/tulip-proof"
bug-reports: "https://github.com/mit-pdos/tulip-proof/issues"
dev-repo: "git+https://github.com/mit-pdos/tulip-proof.git"
version: "dev"
synopsis: "Program proofs for tulip"

depends: [
  "perennial-old"
]

pin-depends: [
  ["perennial-old.dev"         "git+https://github.com/mit-pdos/perennial#dcdc92dcee"]

  ## begin indirect
  ["coq-record-update.dev"     "git+https://github.com/tchajed/coq-record-update#7b26452103"]
  ["iris-named-props.dev"      "git+https://github.com/tchajed/iris-named-props#c388714a93"]
  ["rocq-iris.dev"             "git+https://gitlab.mpi-sws.org/iris/iris#d8f049ee6e"]
  ["rocq-stdpp.dev"            "git+https://gitlab.mpi-sws.org/iris/stdpp#a09c2a19de"]
  ## end
]

build: ["dune" "build"]
install: ["dune" "install"]