Skip to content

Commit 928aa50

Browse files
mserimseri
authored
Merge pull request ocaml#23580 from bobot/release-arb-0.2.1
[WIP] Release flint antic arb 0.2.1
2 parents c56da6f + 6cfd446 commit 928aa50

File tree

8 files changed

+187
-5
lines changed

8 files changed

+187
-5
lines changed

‎packages/antic/antic.0.1.5/opam‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ homepage: "https://github.com/bobot/ocaml-flint"
77
bug-reports: "https://github.com/bobot/ocaml-flint/issues"
88
depends: [
99
"dune" {>= "3.2"}
10-
"flint"
10+
"flint" {= version}
1111
"ctypes" {>= "0.20.1"}
1212
"conf-mpfr" {>= "3"}
1313
"ocaml" {>= "4.10"}
@@ -37,3 +37,5 @@ url {
3737
]
3838
}
3939
x-commit-hash: "881ef98e010ba3a2cfbfc04237b9b1c5e8ee5b3e"
40+
conflicts: [ "ocaml-option-bytecode-only" ]
41+
available: os != "macos"

‎packages/antic/antic.0.2.3/opam‎

Lines changed: 42 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,42 @@
1+
opam-version: "2.0"
2+
synopsis: "Stub of the C library Antic. Algebraic number"
3+
maintainer: ["François Bobot"]
4+
authors: ["François Bobot"]
5+
license: "LGPL-2.1-only"
6+
homepage: "https://github.com/bobot/ocaml-flint"
7+
bug-reports: "https://github.com/bobot/ocaml-flint/issues"
8+
depends: [
9+
"dune" {>= "3.2"}
10+
"flint" {= version}
11+
"ctypes" {>= "0.20.1"}
12+
"conf-mpfr" {>= "3"}
13+
"ocaml" {>= "4.10"}
14+
"conf-pkg-config" {>= "2"}
15+
"dune-configurator"
16+
"odoc" {with-doc}
17+
]
18+
build: [
19+
["dune" "subst"] {dev}
20+
[
21+
"dune"
22+
"build"
23+
"-p"
24+
name
25+
"-j"
26+
jobs
27+
"@install"
28+
"@runtest" {with-test}
29+
"@doc" {with-doc}
30+
]
31+
]
32+
dev-repo: "git+https://github.com/bobot/ocaml-flint.git"
33+
url {
34+
src:
35+
"https://github.com/bobot/ocaml-flint/releases/download/0.2.3/flint-0.2.3.tbz"
36+
checksum: [
37+
"sha256=7a599519fd6531adef21a1428bb5084aae62046d22393a2e513703bbe7c7d687"
38+
"sha512=e2af3ea994edd1068253c3fd34c8d7f3bcf2dc8fb22a4bbf98ff8f32fa8f075a5e68dc44469001e0afe196cb2f78bc53ad0c153b118a096003eb363f7c40ee02"
39+
]
40+
}
41+
x-commit-hash: "3119bc2f5d6bf656aba5f443132603f18db9594b"
42+
conflicts: [ "ocaml-option-bytecode-only" ]

‎packages/arb/arb.0.1.5/opam‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ homepage: "https://github.com/bobot/ocaml-flint"
77
bug-reports: "https://github.com/bobot/ocaml-flint/issues"
88
depends: [
99
"dune" {>= "3.2"}
10-
"flint"
10+
"flint" {= version}
1111
"ctypes" {>= "0.20.1"}
1212
"conf-mpfr" {>= "3"}
1313
"ocaml" {>= "4.10"}
@@ -37,3 +37,5 @@ url {
3737
]
3838
}
3939
x-commit-hash: "881ef98e010ba3a2cfbfc04237b9b1c5e8ee5b3e"
40+
conflicts: [ "ocaml-option-bytecode-only" ]
41+
available: os != "macos"

‎packages/arb/arb.0.2.3/opam‎

Lines changed: 42 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,42 @@
1+
opam-version: "2.0"
2+
synopsis: "Stub of the C library Arb. Ball approximation"
3+
maintainer: ["François Bobot"]
4+
authors: ["François Bobot"]
5+
license: "LGPL-2.1-only"
6+
homepage: "https://github.com/bobot/ocaml-flint"
7+
bug-reports: "https://github.com/bobot/ocaml-flint/issues"
8+
depends: [
9+
"dune" {>= "3.2"}
10+
"flint" {= version}
11+
"ctypes" {>= "0.20.1"}
12+
"conf-mpfr" {>= "3"}
13+
"ocaml" {>= "4.10"}
14+
"conf-pkg-config" {>= "2"}
15+
"dune-configurator"
16+
"odoc" {with-doc}
17+
]
18+
build: [
19+
["dune" "subst"] {dev}
20+
[
21+
"dune"
22+
"build"
23+
"-p"
24+
name
25+
"-j"
26+
jobs
27+
"@install"
28+
"@runtest" {with-test}
29+
"@doc" {with-doc}
30+
]
31+
]
32+
dev-repo: "git+https://github.com/bobot/ocaml-flint.git"
33+
url {
34+
src:
35+
"https://github.com/bobot/ocaml-flint/releases/download/0.2.3/flint-0.2.3.tbz"
36+
checksum: [
37+
"sha256=7a599519fd6531adef21a1428bb5084aae62046d22393a2e513703bbe7c7d687"
38+
"sha512=e2af3ea994edd1068253c3fd34c8d7f3bcf2dc8fb22a4bbf98ff8f32fa8f075a5e68dc44469001e0afe196cb2f78bc53ad0c153b118a096003eb363f7c40ee02"
39+
]
40+
}
41+
x-commit-hash: "3119bc2f5d6bf656aba5f443132603f18db9594b"
42+
conflicts: [ "ocaml-option-bytecode-only" ]

‎packages/calcium/calcium.0.1.5/opam‎

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -9,9 +9,9 @@ bug-reports: "https://github.com/bobot/ocaml-flint/issues"
99
depends: [
1010
"dune" {>= "3.2"}
1111
"zarith" {>= "1.12"}
12-
"flint"
13-
"arb"
14-
"antic"
12+
"flint" {= version}
13+
"arb" {= version}
14+
"antic" {= version}
1515
"ctypes" {>= "0.20.1"}
1616
"conf-mpfr" {>= "3"}
1717
"dune-site" {with-test}
@@ -42,3 +42,5 @@ url {
4242
]
4343
}
4444
x-commit-hash: "881ef98e010ba3a2cfbfc04237b9b1c5e8ee5b3e"
45+
conflicts: [ "ocaml-option-bytecode-only" ]
46+
available: os != "macos"

‎packages/calcium/calcium.0.2.3/opam‎

Lines changed: 47 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,47 @@
1+
opam-version: "2.0"
2+
synopsis:
3+
"Stub of the C library Antic. For exact computation with real and complex numbers, presently in early development"
4+
maintainer: ["François Bobot"]
5+
authors: ["François Bobot"]
6+
license: "LGPL-2.1-only"
7+
homepage: "https://github.com/bobot/ocaml-flint"
8+
bug-reports: "https://github.com/bobot/ocaml-flint/issues"
9+
depends: [
10+
"dune" {>= "3.2"}
11+
"zarith" {>= "1.12"}
12+
"flint" {= version}
13+
"arb" {= version}
14+
"antic" {= version}
15+
"ctypes" {>= "0.20.1"}
16+
"conf-mpfr" {>= "3"}
17+
"dune-site" {with-test}
18+
"ocaml" {>= "4.10"}
19+
"conf-pkg-config" {>= "2"}
20+
"dune-configurator"
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/bobot/ocaml-flint.git"
38+
url {
39+
src:
40+
"https://github.com/bobot/ocaml-flint/releases/download/0.2.3/flint-0.2.3.tbz"
41+
checksum: [
42+
"sha256=7a599519fd6531adef21a1428bb5084aae62046d22393a2e513703bbe7c7d687"
43+
"sha512=e2af3ea994edd1068253c3fd34c8d7f3bcf2dc8fb22a4bbf98ff8f32fa8f075a5e68dc44469001e0afe196cb2f78bc53ad0c153b118a096003eb363f7c40ee02"
44+
]
45+
}
46+
x-commit-hash: "3119bc2f5d6bf656aba5f443132603f18db9594b"
47+
conflicts: [ "ocaml-option-bytecode-only" ]

‎packages/flint/flint.0.1.5/opam‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -38,3 +38,5 @@ url {
3838
]
3939
}
4040
x-commit-hash: "881ef98e010ba3a2cfbfc04237b9b1c5e8ee5b3e"
41+
conflicts: [ "ocaml-option-bytecode-only" ]
42+
available: os != "macos"

‎packages/flint/flint.0.2.3/opam‎

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,43 @@
1+
opam-version: "2.0"
2+
synopsis: "Stub of the C library Flint2"
3+
maintainer: ["François Bobot"]
4+
authors: ["François Bobot"]
5+
license: "LGPL-2.1-only"
6+
homepage: "https://github.com/bobot/ocaml-flint"
7+
bug-reports: "https://github.com/bobot/ocaml-flint/issues"
8+
depends: [
9+
"dune" {>= "3.2"}
10+
"zarith" {>= "1.12"}
11+
"ctypes" {>= "0.20.1"}
12+
"conf-mpfr" {>= "3"}
13+
"dune-site" {with-test}
14+
"ocaml" {>= "4.10"}
15+
"conf-pkg-config" {>= "2"}
16+
"dune-configurator"
17+
"odoc" {with-doc}
18+
]
19+
build: [
20+
["dune" "subst"] {dev}
21+
[
22+
"dune"
23+
"build"
24+
"-p"
25+
name
26+
"-j"
27+
jobs
28+
"@install"
29+
"@runtest" {with-test}
30+
"@doc" {with-doc}
31+
]
32+
]
33+
dev-repo: "git+https://github.com/bobot/ocaml-flint.git"
34+
url {
35+
src:
36+
"https://github.com/bobot/ocaml-flint/releases/download/0.2.3/flint-0.2.3.tbz"
37+
checksum: [
38+
"sha256=7a599519fd6531adef21a1428bb5084aae62046d22393a2e513703bbe7c7d687"
39+
"sha512=e2af3ea994edd1068253c3fd34c8d7f3bcf2dc8fb22a4bbf98ff8f32fa8f075a5e68dc44469001e0afe196cb2f78bc53ad0c153b118a096003eb363f7c40ee02"
40+
]
41+
}
42+
x-commit-hash: "3119bc2f5d6bf656aba5f443132603f18db9594b"
43+
conflicts: [ "ocaml-option-bytecode-only" ]

0 commit comments

Comments
 (0)