Implements arbitrary-precision integers
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.
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/rsazypiw4wv4qjg34nngqlnf13y30yb7-ocaml-zarith-1.7.drv | ||
mips64el-linux | /gnu/store/g3b9bbdj7qr464h77cc9l5xnz41rm2wh-ocaml-zarith-1.7.drv | ||
i686-linux | /gnu/store/k0zsrjnq9s5zfkinkgxlz6f81m5lzrdi-ocaml-zarith-1.7.drv | ||
armhf-linux | /gnu/store/s2nks45xzhfiwzrnl9g3danpr97mldzq-ocaml-zarith-1.7.drv | ||
aarch64-linux | /gnu/store/w5q1qad0w36v3wdh076f4z0jl0rcrlvl-ocaml-zarith-1.7.drv |
Linter | Message | Location |
---|---|---|
description Validate package descriptions | sentences in description should be followed by two spaces; possible infraction at 146 | |
source-file-name Validate file names of sources | the source file name should contain the package name |