this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Package pgsolver.4.3

+42
+42
packages/pgsolver/pgsolver.4.3/opam
··· 1 + opam-version: "2.0" 2 + maintainer: "opam-devel@lists.ocaml.org" 3 + authors: [ "Oliver Friedmann" 4 + "Martin Lange" ] 5 + license: "BSD-3-clause" 6 + homepage: "https://github.com/tcsprojects/pgsolver" 7 + dev-repo: "git://github.com/tcsprojects/pgsolver.git" 8 + bug-reports: "https://github.com/tcsprojects/pgsolver/issues" 9 + build: [ 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 + ] 16 + install: ["ocaml" "setup.ml" "-install"] 17 + remove: [ 18 + ["ocaml" "%{etc}%/pgsolver/setup.ml" "-C" "%{etc}%/pgsolver" "-uninstall"] 19 + ] 20 + depends: [ 21 + "ocaml" {>= "4.08.0" & < "5.0"} 22 + "TCSLib" {>= "0.2"} 23 + "extlib" | "extlib-compat" 24 + "minisat" 25 + "ocaml-sat-solvers" {>= "0.7.1"} 26 + "ocamlbuild" {build} 27 + "ocamlfind" {build} 28 + "ounit" {build} 29 + ] 30 + synopsis: 31 + "A collection of tools for generating, manipulating and - most of all - solving parity games" 32 + description: """\ 33 + A collection of tools for generating, manipulating and - most of all - 34 + solving parity games.""" 35 + url { 36 + src: 37 + "https://github.com/tcsprojects/pgsolver/archive/refs/tags/v4.3.tar.gz" 38 + checksum: [ 39 + "md5=2a2351836e74173c48bdcd82ccc8521a" 40 + "sha512=d166662ece175b2249ec564fad9eb461c86341e6004c43bd65e4a32943f5e77b1f2eef31533363d4f0fc91f639ab42120ea24f59add23bda50e1cf46c7e709bb" 41 + ] 42 + }