coq-orc11.opam

opam-version: "2.0"
maintainer: "Hoang-Hai Dang <haidang@mpi-sws.org>"
authors: "The ORC11 semantics team"
license: "BSD-3-Clause"
homepage: "https://gitlab.mpi-sws.org/iris/orc11"
bug-reports: "https://gitlab.mpi-sws.org/iris/orc11/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/iris/orc11.git"
version: "dev"

synopsis: "A Coq formalization of the ORC11 semantics for weak memory"

depends: [
  "coq-stdpp" { (= "dev.2023-03-24.1.504d165a") | (= "dev") }
]

build: ["./make-package" "orc11" "-j%{jobs}%"]
install: ["./make-package" "orc11" "install"]