flake.lock

{
  "nodes": {
    "nixpkgs": {
      "locked": {
        "lastModified": 1655719320,
        "narHash": "sha256-8ZWWJEDypkTCrzIWUxpin7CS2M3uPjjbl/8mpcVZQ9I=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "280d485b6f94d5ee8645aaf098c61a5def5df2be",
        "type": "github"
      },
      "original": {
        "id": "nixpkgs",
        "ref": "master",
        "type": "indirect"
      }
    },
    "nixpkgs_2": {
      "locked": {
        "lastModified": 1655718010,
        "narHash": "sha256-hipsRbWmmRtaPyNqb0h6XDe/BN7LLTKJMMDdSMf6XAw=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "9d6e2bde556f0ed4b946acb8358aa113a37f0446",
        "type": "github"
      },
      "original": {
        "id": "nixpkgs",
        "ref": "master",
        "type": "indirect"
      }
    },
    "nixpkgs_3": {
      "locked": {
        "lastModified": 1655707439,
        "narHash": "sha256-pLQHpTFguAtlpKA/iXw4EYKvTUKj4pAa3I/XYf8Yi1U=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "c8f6b47ac9ed1e9b7f4672ef108299c8d4046a3f",
        "type": "github"
      },
      "original": {
        "id": "nixpkgs",
        "ref": "master",
        "type": "indirect"
      }
    },
    "nixpkgs_4": {
      "locked": {
        "lastModified": 1655707439,
        "narHash": "sha256-pLQHpTFguAtlpKA/iXw4EYKvTUKj4pAa3I/XYf8Yi1U=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "c8f6b47ac9ed1e9b7f4672ef108299c8d4046a3f",
        "type": "github"
      },
      "original": {
        "id": "nixpkgs",
        "ref": "master",
        "type": "indirect"
      }
    },
    "root": {
      "inputs": {
        "nixpkgs": "nixpkgs",
        "udbm": "udbm",
        "uutils": "uutils_2"
      }
    },
    "udbm": {
      "inputs": {
        "nixpkgs": "nixpkgs_2",
        "uutils": "uutils"
      },
      "locked": {
        "lastModified": 1656675450,
        "narHash": "sha256-EAZke5xMdPa8gtWKLwy7W5KIoCRmr79xLWMaDptqsZs=",
        "owner": "UPPAALModelChecker",
        "repo": "UDBM",
        "rev": "85f47af9222d513cbfe9e7c7d9ee3a727b009325",
        "type": "github"
      },
      "original": {
        "owner": "UPPAALModelChecker",
        "repo": "UDBM",
        "type": "github"
      }
    },
    "uutils": {
      "inputs": {
        "nixpkgs": "nixpkgs_3"
      },
      "locked": {
        "lastModified": 1656658058,
        "narHash": "sha256-URCYXr+pwdqEh12pfjZ0K0KTom0pT4nXUB3HV9lBFyA=",
        "owner": "UPPAALModelChecker",
        "repo": "UUtils",
        "rev": "4b9af0c1c4b630dcf24e4516c27766b84e9866d7",
        "type": "github"
      },
      "original": {
        "owner": "UPPAALModelChecker",
        "repo": "UUtils",
        "type": "github"
      }
    },
    "uutils_2": {
      "inputs": {
        "nixpkgs": "nixpkgs_4"
      },
      "locked": {
        "lastModified": 1656658058,
        "narHash": "sha256-URCYXr+pwdqEh12pfjZ0K0KTom0pT4nXUB3HV9lBFyA=",
        "owner": "UPPAALModelChecker",
        "repo": "UUtils",
        "rev": "4b9af0c1c4b630dcf24e4516c27766b84e9866d7",
        "type": "github"
      },
      "original": {
        "owner": "UPPAALModelChecker",
        "repo": "UUtils",
        "type": "github"
      }
    }
  },
  "root": "root",
  "version": 7
}