flake.lock

{
  "nodes": {
    "flake-utils": {
      "locked": {
        "lastModified": 1656065134,
        "narHash": "sha256-oc6E6ByIw3oJaIyc67maaFcnjYOz1mMcOtHxbEf9NwQ=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "bee6a7250dd1b01844a2de7e02e4df7d8a0a206c",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "liquid-fixpoint": {
      "inputs": {
        "flake-utils": [
          "liquidhaskell",
          "flake-utils"
        ],
        "nixpkgs": [
          "liquidhaskell",
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1653693908,
        "narHash": "sha256-IYrQB9M/XdDaDzQ1576iUNvbehJ4fUlKvPtg5l/Z5xU=",
        "owner": "plredmond",
        "repo": "liquid-fixpoint",
        "rev": "8ce7686045c49b25b46ea3024e9c0dd2979d8488",
        "type": "github"
      },
      "original": {
        "owner": "plredmond",
        "ref": "nix-flake",
        "repo": "liquid-fixpoint",
        "type": "github"
      }
    },
    "liquidhaskell": {
      "inputs": {
        "flake-utils": [
          "flake-utils"
        ],
        "liquid-fixpoint": "liquid-fixpoint",
        "nixpkgs": [
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1653694318,
        "narHash": "sha256-vcnFcSoIQW2/Aa7wEISrnrL7PmJGWJofL1qrjLS7pxU=",
        "owner": "plredmond",
        "repo": "liquidhaskell",
        "rev": "a5c45ff4a5132cee6fe94a6c60e51d74f5e519cb",
        "type": "github"
      },
      "original": {
        "owner": "plredmond",
        "ref": "nix-flake",
        "repo": "liquidhaskell",
        "type": "github"
      }
    },
    "nixpkgs": {
      "locked": {
        "lastModified": 1656265786,
        "narHash": "sha256-A9RkoGrxzsmMm0vily18p92Rasb+MbdDMaSnzmywXKw=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "cd90e773eae83ba7733d2377b6cdf84d45558780",
        "type": "github"
      },
      "original": {
        "owner": "NixOS",
        "ref": "nixos-22.05",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "root": {
      "inputs": {
        "flake-utils": "flake-utils",
        "liquidhaskell": "liquidhaskell",
        "nixpkgs": "nixpkgs"
      }
    }
  },
  "root": "root",
  "version": 7
}