filnix.runningLive log

cudd

3.0.0BuiltDependencies →

Binary Decision Diagram (BDD) library

Build log · 15 Sep 00:18 · This campaign

Planning log · 14 Sep 23:29 · This campaign

pkgs/by-name/cu/cudd/package.nix

Direct dependencies

autoreconf-hook bash-5.2p37 cudd-3.0.0.tar.gz stdenv-linux

Selected dependents

maude openroad yices