this repo has no description
Merge pull request #26037 from joaomhmpereira/opam-publish-cvc5.1.1.3-unreleased
Package cvc5.1.1.3-unreleased
authored by
Marcello Seri
and committed by
GitHub
fe8dffac
6f0c0039
+102
+28
packages/conf-python3-pyparsing/conf-python3-pyparsing.1/opam
+28
packages/conf-python3-pyparsing/conf-python3-pyparsing.1/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "https://github.com/ocaml/opam-repository/issues"
3
+
homepage: "https://pypi.org/project/pyparsing/"
4
+
bug-reports: "https://github.com/ocaml/opam-repository/issues"
5
+
authors: "PyParsing dev team"
6
+
license: "MIT"
7
+
build: [
8
+
["sh" "-c" "echo 'import pyparsing' > test.py"]
9
+
["python3" "test.py"]
10
+
]
11
+
depends: [
12
+
"conf-python-3" {build}
13
+
]
14
+
depexts: [
15
+
["python3-pyparsing"] {os-family = "debian"}
16
+
["python3-pyparsing"] {os-family = "ubuntu"}
17
+
["python3-pyparsing"] {os-distribution = "fedora"}
18
+
["python3-pyparsing"] {os-family = "suse" | os-family = "opensuse"}
19
+
["python-pyparsing"] {os-family = "arch"}
20
+
["py3-parsing"] {os-family = "alpine"}
21
+
["py39-pyparsing"] {os = "freebsd"}
22
+
]
23
+
24
+
available: os != "macos"
25
+
synopsis: "Virtual package relying on PyParsing"
26
+
description:
27
+
"This package can only install if the PyParsing python3 library is installed on the system."
28
+
flags: conf
+28
packages/conf-python3-tomli/conf-python3-tomli.1/opam
+28
packages/conf-python3-tomli/conf-python3-tomli.1/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "https://github.com/ocaml/opam-repository/issues"
3
+
homepage: "https://pypi.org/project/tomli/"
4
+
bug-reports: "https://github.com/ocaml/opam-repository/issues"
5
+
authors: "Tomli dev team"
6
+
license: "MIT"
7
+
build: [
8
+
["sh" "-c" "echo 'import tomli' > test.py"]
9
+
["python3" "test.py"]
10
+
]
11
+
depends: [
12
+
"conf-python-3" {build}
13
+
]
14
+
depexts: [
15
+
["python3-tomli"] {os-family = "debian"}
16
+
["python3-tomli"] {os-family = "ubuntu"}
17
+
["python3-tomli"] {os-distribution = "fedora"}
18
+
["python-tomli"] {os-family = "suse" | os-family = "opensuse"}
19
+
["python-tomli"] {os-family = "arch"}
20
+
["py3-tomli"] {os-family = "alpine"}
21
+
["py39-tomli"] {os = "freebsd"}
22
+
]
23
+
24
+
available: os != "macos"
25
+
synopsis: "Virtual package relying on Tomli"
26
+
description:
27
+
"This package can only install if the Tomli python3 library is installed on the system."
28
+
flags: conf
+46
packages/cvc5/cvc5.1.1.3~unreleased/opam
+46
packages/cvc5/cvc5.1.1.3~unreleased/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "OCaml bindings for the cvc5 SMT solver"
4
+
description: "OCaml bindings for the cvc5 SMT solver"
5
+
maintainer: ["João Pereira <joaomhmpereira@tecnico.ulisboa.pt>"]
6
+
authors: ["João Pereira <joaomhmpereira@tecnico.ulisboa.pt>"]
7
+
license: "GPL-3.0-only"
8
+
homepage: "https://github.com/formalsec/ocaml-cvc5"
9
+
bug-reports: "https://github.com/formalsec/ocaml-cvc5/issues"
10
+
depends: [
11
+
"dune" {>= "3.10"}
12
+
"ocaml" {>= "4.12"}
13
+
"conf-gcc" {build}
14
+
"conf-g++" {build}
15
+
"conf-gmp" {build}
16
+
"conf-cmake" {build}
17
+
"conf-python-3" {build}
18
+
"conf-python-3-dev" {build}
19
+
"conf-python3-tomli" {build}
20
+
"conf-python3-pyparsing" {build}
21
+
"odoc" {with-doc}
22
+
]
23
+
build: [
24
+
["dune" "subst"] {dev}
25
+
[
26
+
"dune"
27
+
"build"
28
+
"-p"
29
+
name
30
+
"-j"
31
+
jobs
32
+
"@install"
33
+
"@runtest" {with-test}
34
+
"@doc" {with-doc}
35
+
]
36
+
]
37
+
dev-repo: "git+https://github.com/formalsec/ocaml-cvc5.git"
38
+
available: arch != "arm32" & os != "macos" & os != "freebsd" & os-distribution != "fedora" & os-family != "arch"
39
+
url {
40
+
src:
41
+
"https://github.com/formalsec/ocaml-cvc5/releases/download/v1.1.3/ocaml-cvc5-v1.1.3.unreleased.tar.gz"
42
+
checksum: [
43
+
"md5=2beb77e9db079cd585a9a9a19b76d1ec"
44
+
"sha512=b8b92ce5a076800a0a91b69c1110da4a46b6345de5c52dbefccbd31d6efc90725798645d25ed80f1c07a7571fed8779fdc3c6bb8977e999acd0acddb46a01690"
45
+
]
46
+
}