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" {> "6.0.0"}
11 "zarith" {= "1.7"}
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://github.com/ocaml/Zarith/archive/release-1.7.tar.gz"
23 checksum: [
24 "sha256=d641bb66d04461111b75f2fc37ad1eec764dcf326d98a51ac078695baea2ab3a"
25 "md5=80944e2755ebb848451a77dc2ad0651b"
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.7"
39 checksum: [
40 "sha256=404c2392484ce8b72776ad18f45bdb39b47d0960a5a2f9c88ea7f727a4d6e48b"
41 "md5=fdda6c79ecac23b0c31852900674d7c6"
42 ]
43}
44x-maintenance-intent: ["(none)"]