opam-version: "2.0"
synopsis: "Framework for deriving Kleene Algebras with Tests (KAT)"
maintainer: "Michael Greenberg <michael@greenberg.science>"
authors: "Michael Greenberg <michael@greenberg.science>"
license: "MIT"
homepage: "https://github.com/mgree/kmt"
bug-reports: "https://github.com/mgree/kmt/issues"
depends: [
  "ocaml" {>= "4.12"}
  "z3" {>= "4.8"}
  "batteries" {>= "3.5"}
  "ANSITerminal" {>= "0.8"}
  "fmt" {>= "0.9"}
  "alcotest" {>= "1.5"}
  "logs" {>= "0.7"}
  "cmdliner" {>= "1.1"}
  "ppx_deriving" {>= "5.2"}
  "dune" {>= "3.0"}
]
build: ["dune" "build" "-p" name "-j" jobs]
dev-repo: "git+https:///github.com/mgree/kmt"
url {
  src: "https://github.com/mgree/kmt/archive/refs/tags/0.1.tar.gz"
  checksum: [
    "sha256=9f365552a31c3bfeb16bdd76a95f9c368d1770e5e7151aba4db8aab655c6bf39"
    "md5=55d4e5443ae5f8ebf6d539ea6ca564d8"
  ]
}