this repo has no description
anil.recoil.org
1opam-version: "2.0"
2authors: "Xavier Leroy"
3maintainer: "mirageos-devel"
4homepage: "https://forge.ocamlcore.org/projects/zarith"
5install: ["sh" "-eux" "./mirage-install.sh"]
6remove: ["sh" "-eux" "./mirage-uninstall.sh"]
7depends: [
8 "ocaml"
9 "mirage-xen-posix"
10 "gmp-xen"
11 "zarith" {= "1.4"}
12 "ocamlfind" {build}
13]
14synopsis:
15 "Implements arithmetic and logical operations over arbitrary-precision integers"
16description: """
17The Zarith library implements arithmetic and logical operations over
18arbitrary-precision integers. It uses GMP to efficiently implement
19arithmetic over big integers. Small integers are represented as Caml
20unboxed integers, for speed and space economy."""
21url {
22 src: "https://download.ocamlcore.org/zarith/Zarith/1.4/zarith-1.4.tgz"
23 checksum: [
24 "sha256=98bc21d9e86c3726b5641e0a4c6e859a1bf52b3f691344187e432760386b4861"
25 "md5=8967de3cf9eabe1d73b663bc9916657d"
26 ]
27}
28extra-source "mirage-uninstall.sh" {
29 src:
30 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/zarith-xen/mirage-uninstall.sh"
31 checksum: [
32 "sha256=e5ea4b8731e4cefa8514e00eeee5290062852f229d713c78be6941e8d59c0f36"
33 "md5=ef2f117c09b2af4341b642ed29fb2387"
34 ]
35}
36extra-source "mirage-install.sh" {
37 src:
38 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/zarith-xen/mirage-install.sh.1.4"
39 checksum: [
40 "sha256=404c2392484ce8b72776ad18f45bdb39b47d0960a5a2f9c88ea7f727a4d6e48b"
41 "md5=fdda6c79ecac23b0c31852900674d7c6"
42 ]
43}