{
    "_meta": {
        "hash": {
            "sha256": "16b48a948562a6827bba24a13a40a5bb581b2afc0c677cda0865fd3fb44363a9"
        },
        "pipfile-spec": 6,
        "requires": {
            "python_version": "3.9"
        },
        "sources": [
            {
                "name": "pypi",
                "url": "https://pypi.org/simple",
                "verify_ssl": true
            }
        ]
    },
    "default": {
        "minizinc": {
            "hashes": [
                "sha256:c0e5fae557df0b757bbe4dbec70f7b033b2acc0acabea213e3bbcb0b41d8efeb",
                "sha256:d4327468b7cdc1b1379c6fa50350393d2d0903ac1be55235f534992b4f7b2538"
            ],
            "index": "pypi",
            "version": "==0.4.2"
        },
        "pygments": {
            "hashes": [
                "sha256:ccf3acacf3782cbed4a989426012f1c535c9a90d3a7fc3f16d231b9372d2b716",
                "sha256:f275b6c0909e5dafd2d6269a656aa90fa58ebf4a74f8fcf9053195d226b24a08"
            ],
            "index": "pypi",
            "version": "==2.7.3"
        }
    },
    "develop": {}
}