this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "opam-devel@lists.ocaml.org"
3authors: [ "Oliver Friedmann"
4 "Martin Lange" ]
5license: "BSD-3-Clause"
6homepage: "https://github.com/tcsprojects/pgsolver"
7dev-repo: "git+https://github.com/tcsprojects/pgsolver.git"
8bug-reports: "https://github.com/tcsprojects/pgsolver/issues"
9build: [
10 ["ocaml" "setup.ml" "-configure" "--prefix" prefix]
11 ["ocaml" "setup.ml" "-build"]
12 ["ocaml" "setup.ml" "-configure" "--enable-tests"] {with-test}
13 ["ocaml" "setup.ml" "-build"] {with-test}
14 ["ocaml" "setup.ml" "-test"] {with-test}
15]
16install: ["ocaml" "setup.ml" "-install"]
17remove: [
18 ["ocaml" "%{etc}%/pgsolver/setup.ml" "-C" "%{etc}%/pgsolver" "-uninstall"]
19]
20depends: [
21 "ocaml" {>= "4.05.0" & < "5.0"}
22 "TCSLib" {>= "0.2"}
23 ("extlib" | "extlib-compat")
24 "minisat"
25 "ocaml-sat-solvers" {<= "0.4"}
26 "ocamlbuild" {build}
27 "ocamlfind" {build}
28 "ounit" {build}
29]
30synopsis:
31 "A collection of tools for generating, manipulating and - most of all - solving parity games"
32description: """
33A collection of tools for generating, manipulating and - most of all -
34solving parity games."""
35url {
36 src: "https://github.com/tcsprojects/pgsolver/archive/v4.1.tar.gz"
37 checksum: [
38 "sha256=14855e5b52f3e5cef746e261e39aed54ef3915be46c685d0f835809ae4a812ea"
39 "md5=db269947469d6236a81bed558cbcc5b6"
40 ]
41}