flake.lock

{
  "nodes": {
    "cubical-src": {
      "flake": false,
      "locked": {
        "lastModified": 1658371673,
        "narHash": "sha256-9DZ1v6guNx2LiqSqsy4MvRqC9j3ksFAC2u8UEW7F/pk=",
        "owner": "guilhermehas",
        "repo": "cubical",
        "rev": "bfb0bcb1cc93aab111311198b7ba3f75ec91d52b",
        "type": "github"
      },
      "original": {
        "owner": "guilhermehas",
        "ref": "no-unicode",
        "repo": "cubical",
        "type": "github"
      }
    },
    "flake-utils": {
      "locked": {
        "lastModified": 1653893745,
        "narHash": "sha256-0jntwV3Z8//YwuOjzhV2sgJJPt+HY6KhU7VZUL0fKZQ=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "1ed9fb1935d260de5fe1c2f7ee0ebaae17ed2fa1",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "nixpkgs": {
      "locked": {
        "lastModified": 0,
        "narHash": "sha256-TwEeh4r50NdWHFAHQSyjCk2cZxgwUfcCCAJOhPdXB28=",
        "path": "/nix/store/hyinwqr1byiwwgzdc32yvqi3ih1hssbh-source",
        "type": "path"
      },
      "original": {
        "id": "nixpkgs",
        "type": "indirect"
      }
    },
    "root": {
      "inputs": {
        "cubical-src": "cubical-src",
        "flake-utils": "flake-utils",
        "nixpkgs": "nixpkgs",
        "stdlib-src": "stdlib-src"
      }
    },
    "stdlib-src": {
      "flake": false,
      "locked": {
        "lastModified": 1656678146,
        "narHash": "sha256-CT8EqYgNzEnAGI0mLwM1ZyKCHPcq4i9xnjCp+dJgdWI=",
        "owner": "agda",
        "repo": "agda-stdlib",
        "rev": "69c93f587822acc69b5a1a123841a5c2420347d1",
        "type": "github"
      },
      "original": {
        "owner": "agda",
        "repo": "agda-stdlib",
        "type": "github"
      }
    }
  },
  "root": "root",
  "version": 7
}