{
    "id": "bin",
    "version": "1.0.15",
    "name": "bin (via Github Releases)",
    "documentationURL": "http://github.com/devcontainers-extra/features/tree/main/src/bin",
    "description": "bin is an effortless binary manager. It manages binary files downloaded from different sources.",
    "options": {
        "version": {
            "default": "latest",
            "description": "Select the version to install.",
            "proposals": [
                "latest"
            ],
            "type": "string"
        }
    },
    "installsAfter": [
        "ghcr.io/devcontainers-extra/features/gh-release"
    ]
}