{"name":"ocamlPackages_latest.cudd","summary":"Minimal cudd bindings","description":"","homepage_url":"https://git.frama-c.com/pub/codex/cudd.ml","license":"LGPL-2.0-only","attribute_paths":["ocamlPackages_latest.cudd"],"releases":[{"version":"0.1.3","last_updated":"2026-08-27T07:16:00Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages_latest.cudd","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/wnahiz4152ard54h8j76hybxrjfi71mz-ocaml5.5.0-cudd-0.1.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages_latest.cudd","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/3fhpfmrq8cafq700syywf89jr9kfi9f9-ocaml5.5.0-cudd-0.1.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages_latest.cudd","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/dpp3wyknqj69fkskfxhmj3zbmlsz2cby-ocaml5.5.0-cudd-0.1.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}