opam

opam-version: "1.2"
version: "dev"
maintainer: "palmskog@gmail.com"

homepage: "https://github.com/certichain/toychain"
dev-repo: "https://github.com/certichain/toychain.git"
bug-reports: "https://github.com/certichain/toychain/issues"
license: "BSD"

build: [
  [ make "-j%{jobs}%" ]
]
install: [ make "install" ]
depends: [
  "coq" {>= "8.7" & < "8.8~"}
  "coq-mathcomp-ssreflect" {>= "1.6" & < "1.7~"}
  "coq-fcsl-pcm"
]

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