master · x86_64-linux · cf9005753f89 · generated 2026-10-08T00:45:57Z

ocamlPackages.mlcuddidl 3.0.8 single broken

C library offering an interface to the CUDD BDD library for OCaml

Name
ocaml5.5.0-mlcuddidl-3.0.8
Package set
ocamlPackages
Homepage
https://pop-art.inrialpes.fr/people/bjeannet/mlxxxidl-forge/mlcuddidl/index.html
License
BSD-3-Clause, LGPL-2.1-only
Source
pkgs/development/ocaml-modules/mlcuddidl/default.nix:52
Derivation
/nix/store/580wig6k3n9k8w7jrnz25wja905nr9qc-ocaml5.5.0-mlcuddidl-3.0.8.drv
Repology
not reported as outdated · look up (as of 2026-10-08T00:43:59Z)
Also available as
ocamlPackages_latest.mlcuddidl

Maintainers 1

HandleNameContactVia
luc65r Lucas Ransan GitHub · lucas@ransan.fr listed on package

Dependencies 6

PackageAsMaintainersUsed by (transitive)Status
ocamlPackages.camlidl 1.12 buildInputs 17 single outdated
m4 1.4.21 nativeBuildInputs
78,160 unmaintained
ocaml 5.5.0 nativeBuildInputs 1,487 single outdated
ocamlPackages.findlib 1.9.8 nativeBuildInputs
1,473 unmaintained
bashNonInteractive 5.3p15 other input 102,175 maintained outdated
stdenv 26.05pre-git other input
90,063 team-only

Used by 0 directly, 0 transitively

No package depends on this one.