ocamlPackages.bitwuzla-cxx 0.8.2 single outdated

OCaml binding for the SMT solver Bitwuzla C++ API

Name: ocaml5.5.0-bitwuzla-cxx-0.8.2
Package set: ocamlPackages
Homepage: https://bitwuzla.github.io/
License: MIT
Source: pkgs/development/ocaml-modules/bitwuzla-cxx/default.nix:26
Derivation: /nix/store/rgwza8jj1hfiv6d45w80wcvjqiv4v3md-ocaml5.5.0-bitwuzla-cxx-0.8.2.drv
Repology: outdated, newest version is 0.9.1 · ocaml:bitwuzla-cxx (as of 2026-10-08T00:43:59Z)
Also available as: ocamlPackages_latest.bitwuzla-cxx

Maintainers 1

Handle	Name	Contact	Via
vbgl	Vincent Laporte	GitHub · Vincent.Laporte@gmail.com	listed on package

Package	As	Maintainers	Used by (transitive)	Status
ocamlPackages.zarith 1.14	propagatedBuildInputs	thoughtpolice, vbgl	153	maintained
dune 3.23.1	nativeBuildInputs	vbgl	1,402	single outdated
ocaml 5.5.0	nativeBuildInputs	georgyo	1,487	single outdated
ocamlPackages.findlib 1.9.8	nativeBuildInputs		1,473	unmaintained
bashNonInteractive 5.3p15	other input	andir, balsoft, infinisil, pyrox0	102,175	maintained outdated
stdenv 26.05pre-git	other input		90,063	team-only

Package	As	Maintainers	Used by (transitive)	Status
ocamlPackages.smtml 0.28.0	propagatedBuildInputs	eljamm, ethancedwards8, phanirithvij, Prince213, redianthus	1	maintained outdated
easycrypt 2026.09	buildInputs	vbgl	0	single