description = "Arbitrary precision integers"
requires = ""
version = "1.4.1"
archive(byte) = "zarith.cma"
archive(native) = "zarith.cmxa"
