ocamlPackages.zarith 1.14 maintained

Fast, arbitrary precision OCaml integers

Name: ocaml5.5.0-zarith-1.14
Package set: ocamlPackages
Homepage: https://github.com/ocaml/Zarith
License: LGPL-2.0
Source: pkgs/development/ocaml-modules/zarith/default.nix:43
Derivation: /nix/store/7al1g6wdvcrb6n3d8l6nwygva9qmir4g-ocaml5.5.0-zarith-1.14.drv
Repology: not reported as outdated · look up (as of 2026-10-08T00:43:59Z)
Also available as: ocamlPackages_latest.zarith

Maintainers 2

Handle	Name	Contact	Via
thoughtpolice	Austin Seipp	GitHub · aseipp@pobox.com	listed on package
vbgl	Vincent Laporte	GitHub · Vincent.Laporte@gmail.com	listed on package

Dependencies 6

Package	As	Maintainers	Used by (transitive)	Status
gmp 6.3.0	propagatedBuildInputs	coolcuber	49,029	single
ocaml 5.5.0	nativeBuildInputs	georgyo	1,487	single outdated
ocamlPackages.findlib 1.9.8	nativeBuildInputs		1,473	unmaintained
pkg-config 0.29.2	nativeBuildInputs		77,751	unmaintained
bashNonInteractive 5.3p15	other input	andir, balsoft, infinisil, pyrox0	102,175	maintained outdated
stdenv 26.05pre-git	other input		90,063	team-only

Used by 54 directly, 153 transitively

Package	As	Maintainers	Used by (transitive)	Status
ocamlPackages.mirage-crypto-pk 2.4.1	propagatedBuildInputs	sternenseemann	70	single
ocamlPackages.cryptokit 1.21.1	propagatedBuildInputs		15	unmaintained
ocamlPackages.awa 0.6.1	propagatedBuildInputs	sternenseemann	8	single outdated
ocamlPackages.z3 5.1.0	propagatedBuildInputs	numinit, thoughtpolice	7	maintained
why3 1.8.2	propagatedBuildInputs	thoughtpolice, vbgl	7	maintained
ocamlPackages.bignum 0.17.0	propagatedBuildInputs		5	unmaintained
ocamlPackages.ff-sig 0.6.2	propagatedBuildInputs	ulrikstrid	5	single
ocamlPackages.ocsigen_server 7.0.0	other input	FlorentBecker	5	single outdated
frama-c 33.0	buildInputs	luc65r, thoughtpolice	4	maintained
ocamlPackages.lem 2025-03-13	propagatedBuildInputs		4	unmaintained outdated
ocamlPackages.bitwuzla-cxx 0.8.2	propagatedBuildInputs	vbgl	3	single outdated
ocamlPackages.farith 0.1	propagatedBuildInputs	ethancedwards8	3	single
ocamlPackages.cborl 0.1.0	propagatedBuildInputs	sempiternal-aurora	2	single
ocamlPackages.dolmen_model 0.10	propagatedBuildInputs	vbgl	2	single
ocamlPackages.ff-pbt 0.6.2	propagatedBuildInputs	ulrikstrid	2	single
ocamlPackages.frama-c 33.0	propagatedBuildInputs	luc65r, thoughtpolice	2	maintained
ocamlPackages.name_matcher_parser 2026.08.15	propagatedBuildInputs	GaetanLepage	2	single
rocq-core_9_2 9.2.0	propagatedBuildInputs	proux01, roconnor, vbgl, Zimmi48	2	maintained
coq_9_2 9.2.0	propagatedBuildInputs	roconnor, thoughtpolice, vbgl, Zimmi48	1	maintained
ocamlPackages.bls12-381 6.1.0	propagatedBuildInputs	ulrikstrid	1	single outdated
ocamlPackages.ff 0.6.2	propagatedBuildInputs	ulrikstrid	1	single
ocamlPackages.goblint-cil 2.1.1	propagatedBuildInputs	sempiternal-aurora	1	single
ocamlPackages.jose 0.10.0	propagatedBuildInputs	marijanp, toastal, ulrikstrid	1	maintained outdated
ocamlPackages.kdl 0.2.0	buildInputs	toastal	1	single
ocamlPackages.ocplib-simplex 0.5.1	propagatedBuildInputs	vbgl	1	single
ocamlPackages.sexp_grammar 0.17.0	propagatedBuildInputs		1	unmaintained
ocamlPackages.smtml 0.28.0	propagatedBuildInputs	eljamm, ethancedwards8, phanirithvij, Prince213, redianthus	1	maintained outdated
ocamlPackages.tezos-base58 1.0.0	propagatedBuildInputs	bezmuth	1	single
rocq-core_9_3 9.3.0	propagatedBuildInputs	proux01, roconnor, vbgl, Zimmi48	1	maintained
alt-ergo-free 2.4.3	buildInputs	redianthus	0	single
anders 5.0.0	buildInputs		0	unmaintained
cerberus 0-unstable-2025-12-15	buildInputs	RossSmyth	0	single outdated
coq_9_3 9.3.0	propagatedBuildInputs	roconnor, thoughtpolice, vbgl, Zimmi48	0	maintained
easycrypt 2026.09	buildInputs	vbgl	0	single
hol_light 0-unstable-2026-09-02	propagatedBuildInputs	mkannwischer, thoughtpolice, vbgl	0	maintained outdated
iprover 3.9.2	buildInputs	7c6f434c	0	single
jasmin-compiler 2026.09.0	propagatedBuildInputs	vbgl	0	single
mopsa 1.1	propagatedBuildInputs	vbgl	0	single outdated
ocamlPackages.bap 2.5.0+pr1621	propagatedBuildInputs	maurer	0	single outdated
ocamlPackages.bls12-381-gen 0.4.4	propagatedBuildInputs	ulrikstrid	0	single outdated
ocamlPackages.class_group_vdf 0.0.5	propagatedBuildInputs	ulrikstrid	0	single
ocamlPackages.data-encoding 1.0.1	propagatedBuildInputs	ulrikstrid	0	single
ocamlPackages.flint 0.4.2	propagatedBuildInputs	luc65r	0	single
ocamlPackages.hacl-star 0.7.2	propagatedBuildInputs	ulrikstrid	0	single
ocamlPackages.kapla 0.4.0	buildInputs	eljamm, ethancedwards8, phanirithvij, Prince213, sempiternal-aurora	0	maintained
ocamlPackages.malfunction 0.7.1	propagatedBuildInputs	4ever2	0	single broken
ocamlPackages.mec 0.1.0	buildInputs	ulrikstrid	0	single
ocamlPackages.ocaml-protoc-plugin 4.5.0	buildInputs	GirardR1006	0	single outdated
ocamlPackages.osdp 1.1.1	propagatedBuildInputs		0	unmaintained broken
ocamlPackages.polynomial 0.4.0	propagatedBuildInputs	ulrikstrid	0	single
ocamlPackages.rfc7748 1.0	propagatedBuildInputs	fufexan	0	single
ocamlPackages.superbol-studio-oss 1.0.0	propagatedBuildInputs	eljamm, ethancedwards8, phanirithvij, Prince213, sempiternal-aurora	0	maintained
ocamlPackages.vpl-core 0.5	propagatedBuildInputs	vbgl	0	single
zipperposition 2.1-unstable-2024-02-08	propagatedBuildInputs	DieracDelta	0	single