{
    "name": "mcnd/lean-console",
    "description": "A powerful enough debug console for LEAN.",
    "type": "library",
    "license": "MIT",
    "authors": [
        {
            "name": "Dave Mc Nicoll",
            "email": "info@mcnd.ca"
        }
    ],
    "require": {
        "mcnd/lean": "dev-master"
    },
    "autoload": {
        "psr-4": {
            "Lean\\Console\\": "src/"
        }
    }
}