| { |
| "url": "https://github.com/ivmai/cudd/archive/refs/tags/cudd-3.0.0.tar.gz", |
| "integrity": "sha256-X+FFBBxZRonm589M1iPV8rfDYmFwi+jJpyrtcs9nrM4=", |
| "strip_prefix": "cudd-cudd-3.0.0", |
| "patch_strip": 1, |
| "patches": { |
| "fixincludes.patch": "sha256-BLRgB0bGL36qk4F6F37UWYmR9tKRQ3B4s5DpuOIR2Dc=" |
| }, |
| "overlay": { |
| "BUILD.bazel": "sha256-uFiHS2AyJpnLisThInuXdHA8DAPLxxkcSCOdr4q9SDg=", |
| "MODULE.bazel": "sha256-iWU3PJxCTqG2zAtuEIklm2uMaOf2Sz+8FhrKELlvg94=", |
| "config.h": "sha256-Q8Ue8QJSt3hLu+TdWZDEj99mFLDljvr6u3OtCE+IwTo=" |
| } |
| } |
