flake.lock

{
  "nodes": {
    "flake-compat": {
      "flake": false,
      "locked": {
        "lastModified": 1627832136,
        "narHash": "sha256-OUBMZeJ01AdzGjJ9ZkY5rh1bQircBoPoV2anXSE+luI=",
        "owner": "edolstra",
        "repo": "flake-compat",
        "rev": "bef1b74164e238c530aec28335e761372dafe4c4",
        "type": "github"
      },
      "original": {
        "owner": "edolstra",
        "repo": "flake-compat",
        "type": "github"
      }
    },
    "flake-compat_2": {
      "flake": false,
      "locked": {
        "lastModified": 1627913399,
        "narHash": "sha256-hY8g6H2KFL8ownSiFeMOjwPC8P0ueXpCVEbxgda3pko=",
        "owner": "edolstra",
        "repo": "flake-compat",
        "rev": "12c64ca55c1014cdc1b16ed5a804aa8576601ff2",
        "type": "github"
      },
      "original": {
        "owner": "edolstra",
        "repo": "flake-compat",
        "type": "github"
      }
    },
    "flake-compat_3": {
      "flake": false,
      "locked": {
        "lastModified": 1627913399,
        "narHash": "sha256-hY8g6H2KFL8ownSiFeMOjwPC8P0ueXpCVEbxgda3pko=",
        "owner": "edolstra",
        "repo": "flake-compat",
        "rev": "12c64ca55c1014cdc1b16ed5a804aa8576601ff2",
        "type": "github"
      },
      "original": {
        "owner": "edolstra",
        "repo": "flake-compat",
        "type": "github"
      }
    },
    "flake-compat_4": {
      "flake": false,
      "locked": {
        "lastModified": 1627913399,
        "narHash": "sha256-hY8g6H2KFL8ownSiFeMOjwPC8P0ueXpCVEbxgda3pko=",
        "owner": "edolstra",
        "repo": "flake-compat",
        "rev": "12c64ca55c1014cdc1b16ed5a804aa8576601ff2",
        "type": "github"
      },
      "original": {
        "owner": "edolstra",
        "repo": "flake-compat",
        "type": "github"
      }
    },
    "flake-utils": {
      "inputs": {
        "systems": "systems"
      },
      "locked": {
        "lastModified": 1694529238,
        "narHash": "sha256-zsNZZGTGnMOf9YpHKJqMSsa0dXbfmxeoJ7xHlrt+xmY=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "ff7b65b44d01cf9ba6a71320833626af21126384",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "flake-utils_10": {
      "locked": {
        "lastModified": 1622445595,
        "narHash": "sha256-m+JRe6Wc5OZ/mKw2bB3+Tl0ZbtyxxxfnAWln8Q5qs+Y=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "7d706970d94bc5559077eb1a6600afddcd25a7c8",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "flake-utils_11": {
      "locked": {
        "lastModified": 1610051610,
        "narHash": "sha256-U9rPz/usA1/Aohhk7Cmc2gBrEEKRzcW4nwPWMPwja4Y=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "3982c9903e93927c2164caa727cd3f6a0e6d14cc",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "flake-utils_2": {
      "locked": {
        "lastModified": 1629481132,
        "narHash": "sha256-JHgasjPR0/J1J3DRm4KxM4zTyAj4IOJY8vIl75v/kPI=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "997f7efcb746a9c140ce1f13c72263189225f482",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "flake-utils_3": {
      "locked": {
        "lastModified": 1623875721,
        "narHash": "sha256-A8BU7bjS5GirpAUv4QA+QnJ4CceLHkcXdRp4xITDB0s=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "f7e004a55b120c02ecb6219596820fcd32ca8772",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "flake-utils_4": {
      "locked": {
        "lastModified": 1638122382,
        "narHash": "sha256-sQzZzAbvKEqN9s0bzWuYmRaA03v40gaJ4+iL1LXjaeI=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "74f7e4319258e287b0f9cb95426c9853b282730b",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "flake-utils_5": {
      "locked": {
        "lastModified": 1629481132,
        "narHash": "sha256-JHgasjPR0/J1J3DRm4KxM4zTyAj4IOJY8vIl75v/kPI=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "997f7efcb746a9c140ce1f13c72263189225f482",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "flake-utils_6": {
      "locked": {
        "lastModified": 1638122382,
        "narHash": "sha256-sQzZzAbvKEqN9s0bzWuYmRaA03v40gaJ4+iL1LXjaeI=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "74f7e4319258e287b0f9cb95426c9853b282730b",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "flake-utils_7": {
      "locked": {
        "lastModified": 1610051610,
        "narHash": "sha256-U9rPz/usA1/Aohhk7Cmc2gBrEEKRzcW4nwPWMPwja4Y=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "3982c9903e93927c2164caa727cd3f6a0e6d14cc",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "flake-utils_8": {
      "locked": {
        "lastModified": 1631561581,
        "narHash": "sha256-3VQMV5zvxaVLvqqUrNz3iJelLw30mIVSfZmAaauM3dA=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "7e5bf3925f6fbdfaf50a2a7ca0be2879c4261d19",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "flake-utils_9": {
      "locked": {
        "lastModified": 1638122382,
        "narHash": "sha256-sQzZzAbvKEqN9s0bzWuYmRaA03v40gaJ4+iL1LXjaeI=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "74f7e4319258e287b0f9cb95426c9853b282730b",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "gitignore": {
      "flake": false,
      "locked": {
        "lastModified": 1611672876,
        "narHash": "sha256-qHu3uZ/o9jBHiA3MEKHJ06k7w4heOhA+4HCSIvflRxo=",
        "owner": "hercules-ci",
        "repo": "gitignore.nix",
        "rev": "211907489e9f198594c0eb0ca9256a1949c9d412",
        "type": "github"
      },
      "original": {
        "owner": "hercules-ci",
        "repo": "gitignore.nix",
        "type": "github"
      }
    },
    "gitignore_2": {
      "flake": false,
      "locked": {
        "lastModified": 1611672876,
        "narHash": "sha256-qHu3uZ/o9jBHiA3MEKHJ06k7w4heOhA+4HCSIvflRxo=",
        "owner": "hercules-ci",
        "repo": "gitignore.nix",
        "rev": "211907489e9f198594c0eb0ca9256a1949c9d412",
        "type": "github"
      },
      "original": {
        "owner": "hercules-ci",
        "repo": "gitignore.nix",
        "type": "github"
      }
    },
    "hls": {
      "inputs": {
        "flake-compat": "flake-compat",
        "flake-utils": "flake-utils_3",
        "gitignore": "gitignore",
        "nixpkgs": "nixpkgs",
        "pre-commit-hooks": "pre-commit-hooks"
      },
      "locked": {
        "lastModified": 1628672091,
        "narHash": "sha256-sUSLpGBKrj6Cw96ppWK3bvfun64nuBxI/CszvpBQ2p4=",
        "owner": "haskell",
        "repo": "haskell-language-server",
        "rev": "1ba88ab9eca1da29cd4fee7d2084eba4074fbe47",
        "type": "github"
      },
      "original": {
        "owner": "haskell",
        "repo": "haskell-language-server",
        "rev": "1ba88ab9eca1da29cd4fee7d2084eba4074fbe47",
        "type": "github"
      }
    },
    "hls_2": {
      "inputs": {
        "flake-compat": "flake-compat_3",
        "flake-utils": "flake-utils_5",
        "gitignore": "gitignore_2",
        "nixpkgs": "nixpkgs_3",
        "pre-commit-hooks": "pre-commit-hooks_2"
      },
      "locked": {
        "lastModified": 1639236779,
        "narHash": "sha256-iRL2qTSftKAfkMI+SPYo2rDht+7Dm4by/UJaEb6cTSI=",
        "owner": "haskell",
        "repo": "haskell-language-server",
        "rev": "c5706561ff29ac1cd92378ba11e31195389c10b0",
        "type": "github"
      },
      "original": {
        "owner": "haskell",
        "repo": "haskell-language-server",
        "type": "github"
      }
    },
    "idris": {
      "inputs": {
        "flake-utils": "flake-utils_9",
        "idris-emacs-src": "idris-emacs-src",
        "nixpkgs": "nixpkgs_7",
        "nixpkgs-chez-racket": "nixpkgs-chez-racket"
      },
      "locked": {
        "lastModified": 1632512335,
        "narHash": "sha256-PfhOjUdPS9frBG2ouHdK5CvbS1jro25/uSVsGvMfcJ0=",
        "owner": "idris-lang",
        "repo": "Idris2",
        "rev": "a9ccf4db4f69677c5287a1278ab167247dac161d",
        "type": "github"
      },
      "original": {
        "owner": "idris-lang",
        "repo": "Idris2",
        "type": "github"
      }
    },
    "idris-emacs-src": {
      "flake": false,
      "locked": {
        "lastModified": 1613351183,
        "narHash": "sha256-ngg48SzrR2LCtjle3WR3BOK86USRB0ZXmgXWu9EzQbo=",
        "owner": "redfish64",
        "repo": "idris2-mode",
        "rev": "77390611a934f13e03a45e9f8a4e476dd17a9c5b",
        "type": "github"
      },
      "original": {
        "owner": "redfish64",
        "repo": "idris2-mode",
        "type": "github"
      }
    },
    "linux-kernel-mptcp": {
      "flake": false,
      "locked": {
        "lastModified": 1639432719,
        "narHash": "sha256-sKgRTTmetM4EFuiKEU8mD+yJuI/PwV62HqaMSKInXvw=",
        "owner": "teto",
        "repo": "linux",
        "rev": "4e5027564537dfc77768dfda090cfb060b090551",
        "type": "github"
      },
      "original": {
        "owner": "teto",
        "ref": "mptcp_95_enable_on_localhost",
        "repo": "linux",
        "type": "github"
      }
    },
    "mptcp-pm": {
      "inputs": {
        "flake-utils": "flake-utils_2",
        "hls": "hls",
        "nixpkgs": "nixpkgs_2"
      },
      "locked": {
        "lastModified": 1630942225,
        "narHash": "sha256-45hNeqX5nI/p5P3MiSyNtNZaCBM9eAgZpt2WB3ysblo=",
        "owner": "teto",
        "repo": "mptcp-pm",
        "rev": "f322bd274e387710ad6045b3a0791a8de7b28625",
        "type": "github"
      },
      "original": {
        "owner": "teto",
        "repo": "mptcp-pm",
        "type": "github"
      }
    },
    "mptcpanalyzer-haskell": {
      "inputs": {
        "flake-compat": "flake-compat_2",
        "flake-utils": "flake-utils_4",
        "hls": "hls_2",
        "nixpkgs": "nixpkgs_5",
        "poetry": "poetry",
        "replica": "replica"
      },
      "locked": {
        "lastModified": 1643756057,
        "narHash": "sha256-eyJUhRJQjK9v/V1l3NCJ5rbl6W+X9uAJ3wZlzetC8v8=",
        "owner": "teto",
        "repo": "mptcpanalyzer",
        "rev": "7bc09ea02926a9e99249c3833e0ae251980babc9",
        "type": "github"
      },
      "original": {
        "owner": "teto",
        "repo": "mptcpanalyzer",
        "type": "github"
      }
    },
    "mptcpanalyzer-python": {
      "inputs": {
        "flake-compat": "flake-compat_4",
        "flake-utils": "flake-utils_10",
        "nixpkgs": "nixpkgs_9",
        "poetry2nix": "poetry2nix"
      },
      "locked": {
        "lastModified": 1696792409,
        "narHash": "sha256-u+jcbKCT677Kh2HzrXhfU0hUdrSqaRas5QvOXZqVjpg=",
        "owner": "teto",
        "repo": "pymptcpanalyzer",
        "rev": "685193eb995bc7ffdf1a6d6ecc5cbad691abb0e5",
        "type": "github"
      },
      "original": {
        "owner": "teto",
        "repo": "pymptcpanalyzer",
        "type": "github"
      }
    },
    "nixpkgs": {
      "locked": {
        "lastModified": 1627814220,
        "narHash": "sha256-P+MDgdZw2CBk9X1ZZaUgHgN+32pTfLFf3XVIBOXirI4=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "ab5b6828af26215bf2646c31961da5d3749591ef",
        "type": "github"
      },
      "original": {
        "owner": "NixOS",
        "ref": "nixpkgs-unstable",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "nixpkgs-chez-racket": {
      "locked": {
        "lastModified": 1627484694,
        "narHash": "sha256-UsEb5G0ZJ8l/2y9u9FNj2akXx2PC5QAan24U3t32cfI=",
        "owner": "L-as",
        "repo": "nixpkgs",
        "rev": "9b3c4bee8cee477ac03b0cfd4ebca40954c66106",
        "type": "github"
      },
      "original": {
        "owner": "L-as",
        "ref": "chez-racket",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "nixpkgs_10": {
      "locked": {
        "lastModified": 1696604326,
        "narHash": "sha256-YXUNI0kLEcI5g8lqGMb0nh67fY9f2YoJsILafh6zlMo=",
        "owner": "nixos",
        "repo": "nixpkgs",
        "rev": "87828a0e03d1418e848d3dd3f3014a632e4a4f64",
        "type": "github"
      },
      "original": {
        "owner": "nixos",
        "ref": "nixos-unstable",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "nixpkgs_2": {
      "locked": {
        "lastModified": 1630850248,
        "narHash": "sha256-OzJi6Olf7mSVhGt3W7qOMVP5Qk1lH60zlHeCcITzfv0=",
        "owner": "nixos",
        "repo": "nixpkgs",
        "rev": "23d5823337f4502dfa17e192d8c53a47cabcb6b4",
        "type": "github"
      },
      "original": {
        "owner": "nixos",
        "ref": "nixos-unstable",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "nixpkgs_3": {
      "locked": {
        "lastModified": 1638249621,
        "narHash": "sha256-5sm83bBBg/U6rALZy/IwITtYY4rJJ5mn4z1Tt5W8FT8=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "af21d41260846fb9c9840a75e310e56dfe97d6a3",
        "type": "github"
      },
      "original": {
        "owner": "NixOS",
        "ref": "nixpkgs-unstable",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "nixpkgs_4": {
      "locked": {
        "lastModified": 1639178239,
        "narHash": "sha256-Gc6jJwMuUPUGLhYaXLQ/fKEyqlPzlIKX7OKtTXRJnBQ=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "e7caea7700d49f1925edc6c796cc320f8aed3011",
        "type": "github"
      },
      "original": {
        "id": "nixpkgs",
        "type": "indirect"
      }
    },
    "nixpkgs_5": {
      "locked": {
        "lastModified": 1638986258,
        "narHash": "sha256-OceRdctKZRSgqQxVRvvNB0MaEnFMzQqjUffecoDE9eI=",
        "owner": "nixos",
        "repo": "nixpkgs",
        "rev": "581d2d6c9cd5c289002203581d8aa0861963a933",
        "type": "github"
      },
      "original": {
        "owner": "nixos",
        "ref": "nixos-unstable",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "nixpkgs_6": {
      "locked": {
        "lastModified": 1610729867,
        "narHash": "sha256-bk/SBaBLqZX/PEqal27DMQwAHHl0dcZMp8NNksQr80s=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "04af07c659c6723a2259bb6bc00a47ec53330f20",
        "type": "github"
      },
      "original": {
        "owner": "NixOS",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "nixpkgs_7": {
      "locked": {
        "lastModified": 1639178239,
        "narHash": "sha256-Gc6jJwMuUPUGLhYaXLQ/fKEyqlPzlIKX7OKtTXRJnBQ=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "e7caea7700d49f1925edc6c796cc320f8aed3011",
        "type": "github"
      },
      "original": {
        "id": "nixpkgs",
        "type": "indirect"
      }
    },
    "nixpkgs_8": {
      "locked": {
        "lastModified": 1632600271,
        "narHash": "sha256-2WndMSEsdnamVktLmYLd8dZrRsGCH5Bd8mu5L4HuupU=",
        "owner": "NixOS",
        "repo": "nixpkgs",
        "rev": "6201954aa117d24cc73e46f355c0ea19b8fcad6f",
        "type": "github"
      },
      "original": {
        "id": "nixpkgs",
        "type": "indirect"
      }
    },
    "nixpkgs_9": {
      "locked": {
        "lastModified": 1622966049,
        "narHash": "sha256-6g+28v94ISkVk9TBSsITVOnB2slK8plieWPIF2jo/l0=",
        "owner": "nixos",
        "repo": "nixpkgs",
        "rev": "fbfb79400a08bf754e32b4d4fc3f7d8f8055cf94",
        "type": "github"
      },
      "original": {
        "owner": "nixos",
        "ref": "nixos-unstable",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "poetry": {
      "inputs": {
        "flake-utils": "flake-utils_7",
        "nixpkgs": "nixpkgs_6"
      },
      "locked": {
        "lastModified": 1638854297,
        "narHash": "sha256-mt5gMwAThp8FpcvRsKhs/y/VxLDNgH4MJJLlFbbs4gk=",
        "owner": "nix-community",
        "repo": "poetry2nix",
        "rev": "a4b769203284c91529480adcbb4f17f04d3ff67b",
        "type": "github"
      },
      "original": {
        "id": "poetry",
        "type": "indirect"
      }
    },
    "poetry2nix": {
      "inputs": {
        "flake-utils": "flake-utils_11",
        "nixpkgs": [
          "mptcpanalyzer-python",
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1633382856,
        "narHash": "sha256-hYlet806M9xJj4yxf0g5fhDT2IEUVIMAl7sqIeZ8DUM=",
        "owner": "nix-community",
        "repo": "poetry2nix",
        "rev": "705cbfa10e3d9bfed2e59e0256844ae3704dbd7e",
        "type": "github"
      },
      "original": {
        "owner": "nix-community",
        "repo": "poetry2nix",
        "type": "github"
      }
    },
    "pre-commit-hooks": {
      "inputs": {
        "flake-utils": [
          "mptcp-pm",
          "flake-utils"
        ],
        "nixpkgs": [
          "mptcp-pm",
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1624971177,
        "narHash": "sha256-Amf/nBj1E77RmbSSmV+hg6YOpR+rddCbbVgo5C7BS0I=",
        "owner": "cachix",
        "repo": "pre-commit-hooks.nix",
        "rev": "397f0713d007250a2c7a745e555fa16c5dc8cadb",
        "type": "github"
      },
      "original": {
        "owner": "cachix",
        "repo": "pre-commit-hooks.nix",
        "type": "github"
      }
    },
    "pre-commit-hooks_2": {
      "inputs": {
        "flake-utils": "flake-utils_6",
        "nixpkgs": "nixpkgs_4"
      },
      "locked": {
        "lastModified": 1624971177,
        "narHash": "sha256-Amf/nBj1E77RmbSSmV+hg6YOpR+rddCbbVgo5C7BS0I=",
        "owner": "cachix",
        "repo": "pre-commit-hooks.nix",
        "rev": "397f0713d007250a2c7a745e555fa16c5dc8cadb",
        "type": "github"
      },
      "original": {
        "owner": "cachix",
        "repo": "pre-commit-hooks.nix",
        "type": "github"
      }
    },
    "replica": {
      "inputs": {
        "flake-utils": "flake-utils_8",
        "idris": "idris",
        "nixpkgs": "nixpkgs_8"
      },
      "locked": {
        "lastModified": 1634221508,
        "narHash": "sha256-CgM816bx1+BSCYIZi5FIrY89YA2PMKazARa5ME2s3xg=",
        "owner": "ReplicaTest",
        "repo": "REPLica",
        "rev": "e500b3c0a271d07ad93cc790cb92f013affc046d",
        "type": "github"
      },
      "original": {
        "owner": "ReplicaTest",
        "repo": "REPLica",
        "type": "github"
      }
    },
    "root": {
      "inputs": {
        "flake-utils": "flake-utils",
        "linux-kernel-mptcp": "linux-kernel-mptcp",
        "mptcp-pm": "mptcp-pm",
        "mptcpanalyzer-haskell": "mptcpanalyzer-haskell",
        "mptcpanalyzer-python": "mptcpanalyzer-python",
        "nixpkgs": "nixpkgs_10"
      }
    },
    "systems": {
      "locked": {
        "lastModified": 1681028828,
        "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
        "owner": "nix-systems",
        "repo": "default",
        "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
        "type": "github"
      },
      "original": {
        "owner": "nix-systems",
        "repo": "default",
        "type": "github"
      }
    }
  },
  "root": "root",
  "version": 7
}