opam-version: "2.0"
maintainer: "andy.ray@ujamjar.com"
authors: "andy.ray@ujamjar.com"
homepage: "https://github.com/ujamjar/hardcaml-affirm"
dev-repo: "git+https://github.com/ujamjar/hardcaml-affirm.git"
bug-reports: "https://github.com/ujamjar/hardcaml-affirm/issues"
build: [ [ "ocaml" "pkg/pkg.ml" "build" ] ]
depends: [
  "ocaml" {>= "4.02.0"}
  "ocamlfind" {build}
  "ocamlbuild" {build}
  "topkg" {build}
  "base-bytes"
  "astring"
  "hardcaml" {>= "1.2.0" & < "2.0.0"}
  "sattools"
  "hardcaml-bloop"
  "hardcaml-waveterm" {>= "0.2"}
]
synopsis: "Verification tools for HardCaml"
url {
  src: "https://github.com/ujamjar/hardcaml-affirm/archive/v0.1.0.tar.gz"
  checksum: "md5=694d3db0dfcaeafa789ec184c72cbf34"
}
