this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Xavier Leroy <xavier.leroy@inria.fr>"
3authors: [
4 "Antoine Miné"
5 "Xavier Leroy"
6 "Pascal Cuoq"
7]
8homepage: "https://github.com/ocaml/Zarith"
9bug-reports: "https://github.com/ocaml/Zarith/issues"
10dev-repo: "git+https://github.com/ocaml/Zarith.git"
11license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception"
12x-maintenance-intent: ["(latest)"]
13build: [
14 ["./configure"]
15 [make]
16]
17install: [
18 [make "install"]
19]
20depends: [
21 "ocaml" {>= "4.07.0"}
22 "ocamlfind"
23 "conf-pkg-config"
24 "conf-gmp"
25]
26synopsis:
27 "Implements arithmetic and logical operations over arbitrary-precision integers"
28description: """
29The Zarith library implements arithmetic and logical operations over
30arbitrary-precision integers. It uses GMP to efficiently implement
31arithmetic over big integers. Small integers are represented as Caml
32unboxed integers, for speed and space economy."""
33
34url {
35 src: "https://github.com/ocaml/Zarith/archive/release-1.14.tar.gz"
36 checksum: [
37 "sha256=5db9dcbd939153942a08581fabd846d0f3f2b8c67fe68b855127e0472d4d1859"
38 "sha512=8a7f3e82dfa5699c8dda54dd5398c712f3ac4fe04f5208d43d8ba198fb8152de5f91cbb59c15c0a4ba010d4dfcc79f52e405bdd0abbf2798167e9e4216bcb3dd"
39 ]
40}