this repo has no description
[new release] flint (4 packages) (0.4.0)
CHANGES:
- As in the C library regroup all package into flint
- Bump to flint version 3.0.0
+157
+36
packages/antic/antic.0.4.0/opam
+36
packages/antic/antic.0.4.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "deprecated use flint"
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.7"}
10
+
"flint" {= version}
11
+
"odoc" {with-doc}
12
+
]
13
+
build: [
14
+
["dune" "subst"] {dev}
15
+
[
16
+
"dune"
17
+
"build"
18
+
"-p"
19
+
name
20
+
"-j"
21
+
jobs
22
+
"@install"
23
+
"@runtest" {with-test}
24
+
"@doc" {with-doc}
25
+
]
26
+
]
27
+
dev-repo: "git+https://github.com/bobot/ocaml-flint.git"
28
+
url {
29
+
src:
30
+
"https://github.com/bobot/ocaml-flint/releases/download/0.4.0/flint-0.4.0.tbz"
31
+
checksum: [
32
+
"sha256=65625a5c4ab3922a9b39bca0f42a57b3ee18844786c4672c68da98a7bbc863d8"
33
+
"sha512=c92b1099cacac6bf7a181db0c52444d36180b02a1b2aa5c8aff943318f7c3440457126fb0c2dcf56bf341c05c0f287a67b8df9d05f19fe0321b992a0e04e4a8e"
34
+
]
35
+
}
36
+
x-commit-hash: "4cd9eaee849258fcec12549488ccc501fdc9d4a8"
+36
packages/arb/arb.0.4.0/opam
+36
packages/arb/arb.0.4.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "deprecated use flint"
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.7"}
10
+
"flint" {= version}
11
+
"odoc" {with-doc}
12
+
]
13
+
build: [
14
+
["dune" "subst"] {dev}
15
+
[
16
+
"dune"
17
+
"build"
18
+
"-p"
19
+
name
20
+
"-j"
21
+
jobs
22
+
"@install"
23
+
"@runtest" {with-test}
24
+
"@doc" {with-doc}
25
+
]
26
+
]
27
+
dev-repo: "git+https://github.com/bobot/ocaml-flint.git"
28
+
url {
29
+
src:
30
+
"https://github.com/bobot/ocaml-flint/releases/download/0.4.0/flint-0.4.0.tbz"
31
+
checksum: [
32
+
"sha256=65625a5c4ab3922a9b39bca0f42a57b3ee18844786c4672c68da98a7bbc863d8"
33
+
"sha512=c92b1099cacac6bf7a181db0c52444d36180b02a1b2aa5c8aff943318f7c3440457126fb0c2dcf56bf341c05c0f287a67b8df9d05f19fe0321b992a0e04e4a8e"
34
+
]
35
+
}
36
+
x-commit-hash: "4cd9eaee849258fcec12549488ccc501fdc9d4a8"
+38
packages/calcium/calcium.0.4.0/opam
+38
packages/calcium/calcium.0.4.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "deprecated use flint"
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.7"}
10
+
"flint" {= version}
11
+
"antic" {= version}
12
+
"arb" {= version}
13
+
"odoc" {with-doc}
14
+
]
15
+
build: [
16
+
["dune" "subst"] {dev}
17
+
[
18
+
"dune"
19
+
"build"
20
+
"-p"
21
+
name
22
+
"-j"
23
+
jobs
24
+
"@install"
25
+
"@runtest" {with-test}
26
+
"@doc" {with-doc}
27
+
]
28
+
]
29
+
dev-repo: "git+https://github.com/bobot/ocaml-flint.git"
30
+
url {
31
+
src:
32
+
"https://github.com/bobot/ocaml-flint/releases/download/0.4.0/flint-0.4.0.tbz"
33
+
checksum: [
34
+
"sha256=65625a5c4ab3922a9b39bca0f42a57b3ee18844786c4672c68da98a7bbc863d8"
35
+
"sha512=c92b1099cacac6bf7a181db0c52444d36180b02a1b2aa5c8aff943318f7c3440457126fb0c2dcf56bf341c05c0f287a67b8df9d05f19fe0321b992a0e04e4a8e"
36
+
]
37
+
}
38
+
x-commit-hash: "4cd9eaee849258fcec12549488ccc501fdc9d4a8"
+47
packages/flint/flint.0.4.0/opam
+47
packages/flint/flint.0.4.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Stub of the C library Flint3"
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.7"}
10
+
"conf-flint" {>= "3.0"}
11
+
"zarith" {>= "1.12"}
12
+
"ctypes" {>= "0.20.1"}
13
+
"conf-mpfr" {>= "3"}
14
+
"dune-site" {with-test}
15
+
"ocaml" {>= "4.10"}
16
+
"conf-pkg-config" {>= "2"}
17
+
"dune-configurator"
18
+
"odoc" {with-doc}
19
+
]
20
+
build: [
21
+
["dune" "subst"] {dev}
22
+
[
23
+
"dune"
24
+
"build"
25
+
"-p"
26
+
name
27
+
"-j"
28
+
jobs
29
+
"@install"
30
+
"@runtest" {with-test}
31
+
"@doc" {with-doc}
32
+
]
33
+
]
34
+
dev-repo: "git+https://github.com/bobot/ocaml-flint.git"
35
+
conflicts: [ "ocaml-option-bytecode-only" ]
36
+
messages: [ "Problem with the installation of the external
37
+
libraries can be fixed using version 0.3 which
38
+
compile them locally" { failure } ]
39
+
url {
40
+
src:
41
+
"https://github.com/bobot/ocaml-flint/releases/download/0.4.0/flint-0.4.0.tbz"
42
+
checksum: [
43
+
"sha256=65625a5c4ab3922a9b39bca0f42a57b3ee18844786c4672c68da98a7bbc863d8"
44
+
"sha512=c92b1099cacac6bf7a181db0c52444d36180b02a1b2aa5c8aff943318f7c3440457126fb0c2dcf56bf341c05c0f287a67b8df9d05f19fe0321b992a0e04e4a8e"
45
+
]
46
+
}
47
+
x-commit-hash: "4cd9eaee849258fcec12549488ccc501fdc9d4a8"