coq-file-sync.opam

# This file was generated from `meta.yml`, please do not edit manually.
# Follow the instructions on https://github.com/coq-community/templates to regenerate.

opam-version: "2.0"
maintainer: "Yishuai Li <liyishuai.lys@alibaba-inc.com>"
version: "dev"

homepage: "https://github.com/liyishuai/file-sync"
dev-repo: "git+https://github.com/liyishuai/file-sync.git"
bug-reports: "https://github.com/liyishuai/file-sync/issues"
license: "MPL-2.0"

synopsis: "File synchroniser specification in Coq"
description: """
Coq formalisation of the Unison file synchroniser"""

build: [make "-j%{jobs}%"]
run-test: [make "-j%{jobs}%" "test"]
install: [make "install" "INSTALLDIR=%{bin}%"]
depends: [
  "ocaml" { >= "4.12" }
  "coq" { >= "8.14~" }
  "coq-simple-io" { >= "1.8.0" }
  "coq-async-test" 
  "ocamlbuild" 
  "fileutils" 
  "unison" { with-test }
]

tags: [
  "logpath:FileSync"
]
authors: [
  "Yishuai Li <liyishuai.lys@alibaba-inc.com>"
]