librachain.opam

opam-version: "1.2"
version: "dev"
maintainer: "fga@fb.com"

license: "Apache-2.0"
synopsis: "Coq formalization of LibraBFT"

build: [ make "-j%{jobs}%" ]
install: [ make "install" ]
depends: [
  "ocaml" {>= "4.05.0" & < "4.10"}
  "coq" {(> "8.10" & < "8.12~") | (= "dev")}
  "coq-mathcomp-ssreflect" {(>= "1.7" & < "1.11~") | (= "dev")}
  "coq-fcsl-pcm"
]

tags: [
  "category:Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems"
  "keyword:program verification"
  "keyword:distributed algorithms"
]
authors: [
  "François Garillot"
]