sisyphus.opam

# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
synopsis: "Sisyphus is an automated tool for proof repair"
description: "Sisyphus is an automated tool for proof repair."
maintainer: ["kirang@comp.nus.edu.sg"]
authors: [".."]
license: "AGPL-3.0+"
homepage: "https://github.com/verse-lab/proof-repair"
doc: "sisyphus"
bug-reports: "https://github.com/verse-lab/proof-repair/issues"
depends: [
  "dune" {>= "3.0"}
  "ocaml" {>= "4.12.0"}
  "cmdliner" {= "1.0.4"}
  "sexplib0" {= "v0.14.0"}
  "ppx_sexp_conv" {= "v0.14.3"}
  "coq" {>= "8.15.1"}
  "coq-serapi" {>= "8.15.0+0.15.0"}
  "coq-cfml" {>= "20220112"}
  "coq-cfml-basis" {>= "20220112"}
  "cfml" {>= "20220112"}
  "containers" {>= "3.7"}
  "nottui" {>= "0.2"}
  "iter" {>= "1.4"}
  "bos" {>= "0.2.1"}
  "alcotest" {>= "1.5.0"}
  "sedlex" {>= "2.5"}
  "ppx_blob" {>= "0.7.2"}
  "ptime" {>= "1.0.0"}
  "logs" {>= "0.7.0"}
  "re" {>= "1.10.3"}
  "odoc" {with-doc}
]
build: [
  ["dune" "subst"] {dev}
  [
    "dune"
    "build"
    "-p"
    name
    "-j"
    jobs
    "@install"
    "@runtest" {with-test}
    "@doc" {with-doc}
  ]
]
dev-repo: "git+https://github.com/verse-lab/proof-repair.git"