{
    "package": {
        "name": "coq",
        "repo": "coq",
        "subject": "coq"
    },

    "version": {
        "name": "8.9+alpha"
    },

    "files":
        [
        {"includePattern": "_build/(.*\\.dmg)", "uploadPattern": "$1",
         "matrixParams": {
             "override": 1 }
        }
        ],
    "publish": true
}