coq-toychain.opam

opam-version: "2.0"
maintainer: "palmskog@gmail.com"

homepage: "https://github.com/certichain/toychain"
dev-repo: "git+https://github.com/certichain/toychain.git"
bug-reports: "https://github.com/certichain/toychain/issues"
license: "BSD-2-Clause"
synopsis: "Coq formalization of a minimalistic blockchain-based consensus protocol"

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

tags: [
  "category:Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems"
  "keyword:program verification"
  "keyword:distributed algorithms"
  "logpath:Toychain"
]
authors: [
  "Ilya Sergey"
  "George Pirlea"
  "Karl Palmskog"
]