opam-version: "2.0"
authors: "Xavier Leroy"
maintainer: "mirageos-devel"
homepage: "https://forge.ocamlcore.org/projects/zarith"
install: ["sh" "-eux" "./mirage-install.sh"]
remove: ["sh" "-eux" "./mirage-uninstall.sh"]
depends: [
  "ocaml"
  "mirage-xen-posix"
  "gmp-xen" {> "6.0.0"}
  "zarith" {= "1.6"}
  "ocamlfind" {build}
]
synopsis:
  "Implements arithmetic and logical operations over arbitrary-precision integers"
description: """
The Zarith library implements arithmetic and logical operations over
arbitrary-precision integers. It uses GMP to efficiently implement
arithmetic over big integers. Small integers are represented as Caml
unboxed integers, for speed and space economy."""
extra-files: [
  ["mirage-uninstall.sh" "md5=ef2f117c09b2af4341b642ed29fb2387"]
  ["mirage-install.sh" "md5=fdda6c79ecac23b0c31852900674d7c6"]
]
url {
  src: "https://github.com/ocaml/Zarith/archive/release-1.6.tar.gz"
  checksum: "md5=6cc3023620048236d2e8d3a21d5f0940"
}
