{
    "url": "https://github.com/cuddorg/cudd/releases/download/3.0.0/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-smFeuMvFlJfB8MzgM9VzVSQ7Uz/iQVTosDrjFmE4GSc=",
        "MODULE.bazel": "sha256-NAiJTdjcfqJg9kfnFWbuPvzUhktAC/F4sIaISqadz44=",
        "config.h": "sha256-Q8Ue8QJSt3hLu+TdWZDEj99mFLDljvr6u3OtCE+IwTo="
    }
}