Skip to content

Commit 9ab655b

Browse files
bobotbobot
committed
[new release] flint, calcium, arb and antic (0.2.3)
CHANGES: - revert flint version to 2.9.0
1 parent d99f166 commit 9ab655b

File tree

4 files changed

+170
-0
lines changed
  • packages
    • antic/antic.0.2.3
    • arb/arb.0.2.3
    • calcium/calcium.0.2.3
    • flint/flint.0.2.3

4 files changed

+170
-0
lines changed

‎packages/antic/antic.0.2.3/opam‎

Lines changed: 41 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,41 @@
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"

‎packages/arb/arb.0.2.3/opam‎

Lines changed: 41 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,41 @@
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"

‎packages/calcium/calcium.0.2.3/opam‎

Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,46 @@
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"

‎packages/flint/flint.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 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"

0 commit comments

Comments
 (0)