opam-version: "2.0"
maintainer:   "Christophe Raffalli <christophe.raffalli@univ-savoie.fr>"
bug-reports:  "https://github.com/craff/phox/issues"
authors:
  [ "Christophe Raffalli <christophe.raffalli@univ-savoie.fr>"]
homepage: "https://lama.univ-savoie.fr/~raffalli/phox.html"
license: "LGPL-3.0"
dev-repo: "git+https://github.com/craff/phox.git"
build: [make]
install: [make "install"   "PREFIX=%{prefix}%"]
remove:  [make "uninstall" "PREFIX=%{prefix}%"]
depends: [
  "ocaml" {>= "4.02.0" & < "4.06.0"}
  "ocamlfind" {build}
  "camlp4" {build}
]
synopsis: "PhoX is an implementation of Higher Order Logic"
description: """
Its main charateritics are
 - Tactics such as intro or rewrite can be extended by arbitrary theorems
 - As these tactics are used by the auto tactics, this allows to program
   the auto tatics.
 - You can produce nice latex documents.
 - doc/library/examples/tutorials are available.
 - ...

Authors:
 - Christophe Raffalli <christophe.raffalli@univ-savoie.fr>"""
url {
  src: "https://github.com/craff/phox/archive/0.89.170929/phox.tar.gz"
  checksum: "md5=75636a8bc92f5336acf5708747ad3872"
}
