this repo has no description
Merge pull request #26349 from oliverfriedmann/opam-publish-pgsolver.4.3
Package pgsolver.4.3
authored by
Anil Madhavapeddy
and committed by
GitHub
2359112b
9bb647e3
+42
+42
packages/pgsolver/pgsolver.4.3/opam
+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
+
}