zarith

Version: 1.14

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.

Install package

min add zarith

Data

Updated 3 months ago

OpenSSF Score

Last scored on 2026-10-12

What is "zarith"?

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.

How to use this package

Quick install

Installs the package into the current environment for this session. Use --build or --runtime to persist it as a build-time or runtime dependency.

min add zarith

Declare as a task dependency in minimal.toml

Listing the package under tasks.<name>.packages makes it available inside that task’s sandbox.

[tasks.dev]
packages = ["zarith"]

Build-time vs runtime

Choose build-time for tools needed during compilation, runtime for dynamic libraries loaded at runtime.

min add --build zarith
min add --runtime zarith

Dependencies (7)

Dependencies
Name	Version	Kind
base	—	build
gmp	6.3.0	build + runtime
make	4.4.1	build
ocaml	5.5.1	build + runtime
ocamlfind	1.9.8	build
pkgconf	3.0.5	build
toolchain	—	build

Dependency changes

Dependants (2)

Dependants
Name	Version
aeneas	20261008
charon-ml	0.1.281

zarith v1.1413e55bc
Diff
Lines:+83Deps:7(+7)
Released: 3 months ago

No direct advisories

This package inherits 12 transitive advisories from its dependencies.

Include transitive

Showing 12 transitive advisories via zarith's dependencies

Security advisories for this package
	Status	IDs	Package	Version	Severity	Published
Critical (0)
High (0)
	Status	IDs	Package	Version	Severity	Published
Medium (0)
	Status	IDs	Package	Version	Severity	Published
Low (12)
	Status	IDs	Package	Version	Severity	Published
	Affected: 2.47	CVE-2026-91782	binutils	2.47	Low	29 days ago
Summary GNU Binutils Dynamic Relocation Allocation elfxx-x86.c elf_x86_allocate_dynrelocs null pointer dereference Via ocaml toolchain binutils Affected ranges 2.47 References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/91xxx/CVE-2026-91782.json, https://nvd.nist.gov/vuln/detail/CVE-2026-91782, https://vuldb.com/cve/CVE-2026-91782, https://vuldb.com/submit/933335, https://vuldb.com/vuln/404053 Report: https://sourceware.org/bugzilla/show_bug.cgi?id=34448, https://vuldb.com/vuln/404053/cti Evidence: https://github.com/Ech06/CVE_submit/tree/main/bugzilla/pocs/34448 Web: https://www.gnu.org/
	Affected: 2.47	CVE-2026-91781	binutils	2.47	Low	29 days ago
Summary GNU Binutils ELF Section elf64-x86-64.c elf_x86_64_common_section_index null pointer dereference Via ocaml toolchain binutils Affected ranges 2.47 References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/91xxx/CVE-2026-91781.json, https://nvd.nist.gov/vuln/detail/CVE-2026-91781, https://vuldb.com/cve/CVE-2026-91781, https://vuldb.com/submit/933336, https://vuldb.com/vuln/404052 Fix: https://sourceware.org/git/gitweb.cgi?p=binutils-gdb.git;h=7322e9bc30cb282575a701c307851fd3d66fee68 Report: https://sourceware.org/bugzilla/show_bug.cgi?id=34449, https://vuldb.com/vuln/404052/cti Evidence: https://github.com/Ech06/CVE_submit/tree/main/bugzilla/pocs/34449 Web: https://www.gnu.org/
	Affected: 2.47	CVE-2026-91780	binutils	2.47	Low	29 days ago
Summary GNU Binutils elflink.c elf_link_add_object_symbols null pointer dereference Via ocaml toolchain binutils Affected ranges 2.47 References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/91xxx/CVE-2026-91780.json, https://nvd.nist.gov/vuln/detail/CVE-2026-91780, https://vuldb.com/cve/CVE-2026-91780, https://vuldb.com/submit/933334, https://vuldb.com/vuln/404051 Report: https://sourceware.org/bugzilla/show_bug.cgi?id=34447, https://vuldb.com/vuln/404051/cti Evidence: https://github.com/Ech06/CVE_submit/tree/main/bugzilla/pocs/34447 Web: https://www.gnu.org/
	Affected: 2.47	CVE-2026-91779	binutils	2.47	Low	29 days ago
Summary GNU Binutils Eh Frame elf-eh-frame.c _bfd_elf_eh_frame_section_offset null pointer dereference Via ocaml toolchain binutils Affected ranges 2.47 References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/91xxx/CVE-2026-91779.json, https://nvd.nist.gov/vuln/detail/CVE-2026-91779, https://vuldb.com/cve/CVE-2026-91779, https://vuldb.com/submit/933333, https://vuldb.com/vuln/404050 Report: https://github.com/Ech06/CVE_submit/blob/main/bugzilla/issues/34446.md, https://sourceware.org/bugzilla/show_bug.cgi?id=34446, https://vuldb.com/vuln/404050/cti Web: https://www.gnu.org/
	Affected: 2.47	CVE-2026-90831	binutils	2.47	Low	29 days ago
Summary GNU Binutils ELF String Table elf-strtab.c _bfd_elf_strtab_delref memory corruption Via ocaml toolchain binutils Affected ranges 2.47 References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/90xxx/CVE-2026-90831.json, https://nvd.nist.gov/vuln/detail/CVE-2026-90831, https://vuldb.com/cve/CVE-2026-90831, https://vuldb.com/submit/925230, https://vuldb.com/vuln/403333 Report: https://sourceware.org/bugzilla/show_bug.cgi?id=34454, https://vuldb.com/vuln/403333/cti Evidence: https://sourceware.org/bugzilla/attachment.cgi?id=16886 Web: https://www.gnu.org/
	Affected: 2.47	CVE-2026-90830	binutils	2.47	Low	29 days ago
Summary GNU Binutils Section Merge merge.c _bfd_write_merged_section null pointer dereference Via ocaml toolchain binutils Affected ranges 2.47 References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/90xxx/CVE-2026-90830.json, https://nvd.nist.gov/vuln/detail/CVE-2026-90830, https://vuldb.com/cve/CVE-2026-90830, https://vuldb.com/submit/925229, https://vuldb.com/vuln/403332 Report: https://sourceware.org/bugzilla/show_bug.cgi?id=34452, https://vuldb.com/vuln/403332/cti Evidence: https://sourceware.org/bugzilla/attachment.cgi?id=16884 Web: https://www.gnu.org/
	Affected: 2.47	CVE-2026-90829	binutils	2.47	Low	29 days ago
Summary GNU Binutils SHT_GROUP Section elf.c bfd_elf_set_group_contents null pointer dereference Via ocaml toolchain binutils Affected ranges 2.47 References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/90xxx/CVE-2026-90829.json, https://nvd.nist.gov/vuln/detail/CVE-2026-90829, https://vuldb.com/cve/CVE-2026-90829, https://vuldb.com/submit/925228, https://vuldb.com/vuln/403331 Report: https://sourceware.org/bugzilla/show_bug.cgi?id=34451, https://vuldb.com/vuln/403331/cti Evidence: https://sourceware.org/bugzilla/attachment.cgi?id=16883 Web: https://www.gnu.org/
	Affected: 2.47	CVE-2026-90828	binutils	2.47	Low	29 days ago
Summary GNU Binutils ELF Orphan Section ldelf.c elf_orphan_compatible null pointer dereference Via ocaml toolchain binutils Affected ranges 2.47 References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/90xxx/CVE-2026-90828.json, https://nvd.nist.gov/vuln/detail/CVE-2026-90828, https://vuldb.com/cve/CVE-2026-90828, https://vuldb.com/submit/925227, https://vuldb.com/vuln/403330 Report: https://sourceware.org/bugzilla/show_bug.cgi?id=34450, https://vuldb.com/vuln/403330/cti Evidence: https://sourceware.org/bugzilla/attachment.cgi?id=16882 Web: https://www.gnu.org/
	Affected: 2.47	CVE-2026-90804	binutils	2.47	Low	29 days ago
Summary GNU Binutils Eh Frame Section elf-eh-frame.c _bfd_elf_write_section_eh_frame buffer overflow Via ocaml toolchain binutils Affected ranges 2.47 References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/90xxx/CVE-2026-90804.json, https://nvd.nist.gov/vuln/detail/CVE-2026-90804, https://vuldb.com/cve/CVE-2026-90804, https://vuldb.com/submit/920281, https://vuldb.com/vuln/403306 Report: https://sourceware.org/bugzilla/show_bug.cgi?id=34445, https://vuldb.com/vuln/403306/cti Evidence: https://github.com/r1ck9-2q/cve_summit/blob/main/Heap%20OOB%20write%20%20negative-size%20%60memmove%60%20%20SEGV%20in%20%60_bfd_elf_write_section_eh_frame%60%20(bfdelf-eh-frame.c2064%20%202083%20%202193)%20via%20malformed%20%60.eh_frame%60.md Web: https://www.gnu.org/
	Affected: 2.47	CVE-2026-90803	binutils	2.47	Low	29 days ago
Summary GNU Binutils ld elf64-x86-64.c elf_x86_64_relocate_section buffer overflow Via ocaml toolchain binutils Affected ranges 2.47 References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/90xxx/CVE-2026-90803.json, https://nvd.nist.gov/vuln/detail/CVE-2026-90803, https://vuldb.com/cve/CVE-2026-90803, https://vuldb.com/submit/920280, https://vuldb.com/vuln/403305 Fix: https://sourceware.org/git/gitweb.cgi?p=binutils-gdb.git;h=471130b39c03623ec6d78ece377ff4da3f6bfe7b Report: https://sourceware.org/bugzilla/show_bug.cgi?id=34444, https://vuldb.com/vuln/403305/cti Evidence: https://github.com/r1ck9-2q/cve_summit/blob/main/Heap%20OOB%20readwrite%20and%20SEGV%20in%20%60elf_x86_64_relocate_section%60%20(bfdelf64-x86-64.c4530%20%204835)%20via%20malformed%20relocation.md Web: https://www.gnu.org/
	Affected: 2.47	CVE-2026-90802	binutils	2.47	Low	29 days ago
Summary GNU Binutils ld libbfd.c bfd_putl64 null pointer dereference Via ocaml toolchain binutils Affected ranges 2.47 References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/90xxx/CVE-2026-90802.json, https://nvd.nist.gov/vuln/detail/CVE-2026-90802, https://vuldb.com/cve/CVE-2026-90802, https://vuldb.com/submit/920277, https://vuldb.com/vuln/403304 Report: https://sourceware.org/bugzilla/show_bug.cgi?id=34443, https://vuldb.com/vuln/403304/cti Evidence: https://github.com/r1ck9-2q/cve_summit/blob/main/SEGV%20in%20%60bfd_putl64%60%20(bfdlibbfd.c989)%20during%20relocation%20output%20via%20malformed%20ELF.md Web: https://www.gnu.org/
	Affected: 2.47	CVE-2026-90801	binutils	2.47	Low	29 days ago
Summary GNU Binutils ld cache.c cache_bwrite buffer overflow Via ocaml toolchain binutils Affected ranges 2.47 References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/90xxx/CVE-2026-90801.json, https://nvd.nist.gov/vuln/detail/CVE-2026-90801, https://vuldb.com/cve/CVE-2026-90801, https://vuldb.com/submit/920276, https://vuldb.com/vuln/403303 Report: https://sourceware.org/bugzilla/show_bug.cgi?id=34442, https://vuldb.com/vuln/403303/cti Evidence: https://github.com/r1ck9-2q/cve_summit/blob/main/Heap-buffer-overflow%20in%20%60cache_bwrite%60%20(bfdcache.c436)%20via%20malformed%20ELF%20with%20%60--gc-sections%20-w%60.md Web: https://www.gnu.org/
Unknown (0)
	Status	IDs	Package	Version	Severity	Published

Build provenance

For the signed record of what the build used, see the Provenance tab.

48 components

Software Bill of Materials — every package this build depends on
Packages	Version	Repository	License
zarithROOT	1.14	github.com/ocaml/Zarith	LGPL-2.0-only WITH OCaml-LGPL-linking-exception
acl	2.4.0	https://storage.googleapis.com/minimal-staging-archives/acl-2.4.0.tar.xzMIRROR	(GPL-2.0-only AND LGPL-2.1-only)
attr	2.6.0	https://storage.googleapis.com/minimal-staging-archives/attr-2.6.0.tar.gzMIRROR	(GPL-2.0-only AND LGPL-2.1-only)
bash	5.3	www.gnu.org/software/bash	GPL-3.0-only
bash-bootstrap	5.3	www.gnu.org/software/bash	GPL-3.0-only
binutils	2.47	www.gnu.org/software/binutils	(GPL-2.0-only AND GPL-3.0-only AND LGPL-2.0-only)
bison	3.8.2	www.gnu.org/software/bison	GPL-3.0-only
bzip2	1.0.8	github.com/libarchive/bzip2	bzip2-1.0.6
coreutils	9.12	www.gnu.org/software/coreutils	GPL-3.0-only
diffutils	3.12	www.gnu.org/software/diffutils	GPL-3.0-only
expat	2.8.5	github.com/libexpat/libexpat	MIT
file	5.48	https://storage.googleapis.com/minimal-staging-archives/file-5.48.tar.gzMIRROR	BSD-2-Clause-Darwin
findutils	4.11.0	www.gnu.org/software/findutils	GPL-3.0-only
flex	2.6.4	github.com/westes/flex	BSD-3-Clause-flex
gawk	5.4.1	www.gnu.org/software/gawk	GPL-3.0-only
gawk-bootstrap	5.4.1	www.gnu.org/software/gawk	GPL-3.0-only
gcc	15.2.0	www.gnu.org/software/gcc	(GPL-2.0-only AND GPL-3.0-only AND LGPL-2.1-only)
gdbm	1.26	www.gnu.org/software/gdbm	GPL-3.0-only
glibc	2.44	www.gnu.org/software/glibc	(GPL-2.0-only AND LGPL-2.1-only)
gmp	6.3.0	www.gnu.org/software/gmp	LGPL-3.0-or-later OR GPL-2.0-or-later
grep	3.12	www.gnu.org/software/grep	GPL-3.0-only
gzip	1.15	www.gnu.org/software/gzip	GPL-3.0-only
libcap	2.78	https://storage.googleapis.com/minimal-staging-archives/libcap-2.78.tar.xzMIRROR	BSD-3-Clause OR GPL-2.0-only
libffi	3.8.0	github.com/libffi/libffi	MIT
linux_headers	6.12.43	github.com/torvalds/linux	GPL-2.0-only WITH Linux-syscall-note
lz4	1.10.0	github.com/lz4/lz4	BSD-2-Clause AND GPL-2.0-or-later
m4	1.4.21	www.gnu.org/software/m4	GPL-3.0-only
make	4.4.1	www.gnu.org/software/make	GPL-3.0-only
mpc	1.4.1	www.gnu.org/software/mpc	LGPL-3.0-or-later
mpfr	4.2.2	www.gnu.org/software/mpfr	GPL-3.0-only
ncurses	6.6	www.gnu.org/software/ncurses	X11-distribute-modifications-variant
ocaml	5.5.1	github.com/ocaml/ocaml	LGPL-2.1-only WITH OCaml-LGPL-linking-exception
ocamlfind	1.9.8	github.com/ocaml/ocamlfind	MIT
openssl	3.6.5	github.com/openssl/openssl	Apache-2.0
patch	2.8	www.gnu.org/software/patch	GPL-3.0-only
pcre2	10.49	github.com/PCRE2Project/pcre2	BSD-3-Clause WITH PCRE2-exception
perl	5.44.0	github.com/Perl/perl5	Artistic-1.0-Perl OR GPL-1.0-or-later
pkgconf	3.0.5	github.com/pkgconf/pkgconf	ISC
python	3.14.8	github.com/python/cpython	Python-2.0.1
readline	8.3	www.gnu.org/software/readline	GPL-3.0-only
sed	4.10	www.gnu.org/software/sed	GPL-3.0-only
sqlite	3.53.4	github.com/sqlite/sqlite	blessing
tar	1.35	www.gnu.org/software/tar	GPL-3.0-only
tzdata	2026e	github.com/eggert/tz	LicenseRef-Public-Domain
util-linux	2.42.4	github.com/util-linux/util-linux	GPL-2.0-or-later AND LGPL-2.1-or-later AND BSD-3-Clause
xz	5.8.4	github.com/tukaani-project/xz	(0BSD AND GPL-2.0-only AND GPL-3.0-only AND LGPL-2.1-only)
zlib	1.3.2	github.com/madler/zlib	Zlib
zstd	1.5.7	github.com/facebook/zstd	BSD-3-Clause OR GPL-2.0-only

zarith

Install package

OpenSSF Score

What is "zarith"?

How to use this package

Quick install

Declare as a task dependency in minimal.toml

Build-time vs runtime

Dependencies (7)

Dependency changes

Dependants (2)

Summary

Via

Affected ranges

References

Summary

Via

Affected ranges

References

Summary

Via

Affected ranges

References

Summary

Via

Affected ranges

References

Summary

Via

Affected ranges

References

Summary

Via

Affected ranges

References

Summary

Via

Affected ranges

References

Summary

Via

Affected ranges

References

Summary

Via

Affected ranges

References

Summary

Via

Affected ranges

References

Summary

Via

Affected ranges

References

Summary

Via

Affected ranges

References

Build provenance

Build provenance

Build provenance

48 components