{
    "$schema": "http://json-schema.org/draft-07/schema#",
    "type": "object",
    "properties": {
        "dev": {
            "type": "object",
            "properties": {
                "version": {
                    "type": "string",
                    "pattern": "^[0-9]+(\\.[0-9]+)+$"
                },
                "exe": {
                    "$ref": "#/definitions/file"
                },
                "jar": {
                    "$ref": "#/definitions/file"
                },
                "sh": {
                    "$ref": "#/definitions/file"
                }
            }
        }
    },
    "additionalProperties": false,
    "required": ["dev"],
    "definitions": {
        "file": {
            "type": "object",
            "properties": {
                "url": {
                    "type": "string",
                    "format": "uri"
                },
                "sha256": {
                    "type": "string",
                    "pattern": "^[a-f0-9]{64}$"
                }
            },
            "additionalProperties": false,
            "required": ["url", "sha256"]
        }
    }
}