this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Framework for deriving Kleene Algebras with Tests (KAT)"
3maintainer: "Michael Greenberg <michael@greenberg.science>"
4authors: "Michael Greenberg <michael@greenberg.science>"
5license: "MIT"
6homepage: "https://github.com/mgree/kmt"
7bug-reports: "https://github.com/mgree/kmt/issues"
8depends: [
9 "ocaml" {>= "4.12"}
10 "z3" {>= "4.8"}
11 "batteries" {>= "3.5"}
12 "ANSITerminal" {>= "0.8"}
13 "fmt" {>= "0.9"}
14 "alcotest" {>= "1.5"}
15 "logs" {>= "0.7"}
16 "cmdliner" {>= "1.1"}
17 "ppx_deriving" {>= "5.2"}
18 "dune" {>= "3.0"}
19]
20build: ["dune" "build" "-p" name "-j" jobs]
21dev-repo: "git+https:///github.com/mgree/kmt"
22url {
23 src: "https://github.com/mgree/kmt/archive/refs/tags/0.1.tar.gz"
24 checksum: [
25 "sha256=9f365552a31c3bfeb16bdd76a95f9c368d1770e5e7151aba4db8aab655c6bf39"
26 "md5=55d4e5443ae5f8ebf6d539ea6ca564d8"
27 ]
28}