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.6"}
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.6.tar.gz"
23 checksum: [
24 "sha256=0ad52b7e8d3791d401a5d64d6f85333d096b32d3ebb9f92e2496fbe64574078e"
25 "md5=6cc3023620048236d2e8d3a21d5f0940"
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.6"
39 checksum: [
40 "sha256=404c2392484ce8b72776ad18f45bdb39b47d0960a5a2f9c88ea7f727a4d6e48b"
41 "md5=fdda6c79ecac23b0c31852900674d7c6"
42 ]
43}