modules/cudd/metadata.json

{
    "homepage": "https://github.com/cuddorg/cudd",
    "maintainers": [
        {
            "email": "emahintorabi@gmail.com",
            "github": "QuantamHD",
            "name": "Ethan Mahintorabi",
            "github_user_id": 3784748
        },
        {
            "email": "h.zeller@acm.org",
            "github": "hzeller",
            "name": "Henner Zeller",
            "github_user_id": 140937
        }
    ],
    "repository": [
        "github:cuddorg/cudd",
        "github:ivmai/cudd",
        "github:davidkebo/cudd"
    ],
    "versions": [
        "3.0.0",
        "3.0.0.bcr.1",
        "3.0.0.bcr.2"
    ],
    "yanked_versions": {}
}