{
  "nodes": {
    "Prettier": {
      "flake": false,
      "locked": {
        "lastModified": 1639310097,
        "narHash": "sha256-+eSLEJDuy2ZRkh1h0Y5IF6RUeHEcWhAHpWhwdwW65f0=",
        "owner": "Z-snails",
        "repo": "prettier",
        "rev": "4a90663b1d586f6d6fce25873aa0f0d7bc633b89",
        "type": "github"
      },
      "original": {
        "owner": "Z-snails",
        "repo": "prettier",
        "type": "github"
      }
    },
    "base16": {
      "inputs": {
        "nixpkgs": [
          "stylix",
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1658847131,
        "narHash": "sha256-X6Mml7cT0YR3WCD5fkUhpRVV5ZPcwdcDsND8r8xMqTE=",
        "owner": "SenchoPens",
        "repo": "base16.nix",
        "rev": "6b404cda2e04ca3cf5ca7b877af9c469e1386acb",
        "type": "github"
      },
      "original": {
        "owner": "SenchoPens",
        "repo": "base16.nix",
        "type": "github"
      }
    },
    "collie": {
      "flake": false,
      "locked": {
        "lastModified": 1631011321,
        "narHash": "sha256-goYctB+WBoLgsbjA0DlqGjD8i9wr1K0lv0agqpuwflU=",
        "owner": "ohad",
        "repo": "collie",
        "rev": "ed2eda5e04fbd02a7728e915d396e14cc7ec298e",
        "type": "github"
      },
      "original": {
        "owner": "ohad",
        "repo": "collie",
        "type": "github"
      }
    },
    "comonad": {
      "flake": false,
      "locked": {
        "lastModified": 1638093386,
        "narHash": "sha256-kxmN6XuszFLK2i76C6LSGHe5XxAURFu9NpzJbi3nodk=",
        "owner": "stefan-hoeck",
        "repo": "idris2-comonad",
        "rev": "06d6b551db20f1f940eb24c1dae051c957de97ad",
        "type": "github"
      },
      "original": {
        "owner": "stefan-hoeck",
        "repo": "idris2-comonad",
        "type": "github"
      }
    },
    "coricamu": {
      "inputs": {
        "nixpkgs": [
          "stylix",
          "nixpkgs"
        ],
        "utils": "utils"
      },
      "locked": {
        "lastModified": 1659649195,
        "narHash": "sha256-wRpMO4Mm4uizR5M71iipdi8ssSYMEPPAIwWyFYnhnco=",
        "owner": "danth",
        "repo": "coricamu",
        "rev": "cdd2f7326efd91509caf84e69b669a7f9e6782bc",
        "type": "github"
      },
      "original": {
        "owner": "danth",
        "repo": "coricamu",
        "type": "github"
      }
    },
    "dom": {
      "flake": false,
      "locked": {
        "lastModified": 1639041519,
        "narHash": "sha256-4ZYc0qaUEVARxhWuH3JgejIeT+GEDNxdS6zIGhBCk34=",
        "owner": "stefan-hoeck",
        "repo": "idris2-dom",
        "rev": "01ab52d0ffdb3b47481413a949b8f0c0688c97e4",
        "type": "github"
      },
      "original": {
        "owner": "stefan-hoeck",
        "repo": "idris2-dom",
        "type": "github"
      }
    },
    "dot-parse": {
      "flake": false,
      "locked": {
        "lastModified": 1638264571,
        "narHash": "sha256-VJQITz+vuQgl5HwR5QdUGwN8SRtGcb2/lJaAVfFbiSk=",
        "owner": "CodingCellist",
        "repo": "idris2-dot-parse",
        "rev": "48fbda8bf8adbaf9e8ebd6ea740228e4394154d9",
        "type": "github"
      },
      "original": {
        "owner": "CodingCellist",
        "repo": "idris2-dot-parse",
        "type": "github"
      }
    },
    "effect": {
      "flake": false,
      "locked": {
        "lastModified": 1637477153,
        "narHash": "sha256-Ta2Vogg/IiSBkfhhD57jjPTEf3S4DOiVRmof38hmwlM=",
        "owner": "russoul",
        "repo": "idris2-effect",
        "rev": "ea1daf53b2d7e52f9917409f5653adc557f0ee1a",
        "type": "github"
      },
      "original": {
        "owner": "russoul",
        "repo": "idris2-effect",
        "type": "github"
      }
    },
    "elab-util": {
      "flake": false,
      "locked": {
        "lastModified": 1639041013,
        "narHash": "sha256-K61s/xifFiTDXJTak5NZmZL6757CTYCY+TGywRZMD7M=",
        "owner": "stefan-hoeck",
        "repo": "idris2-elab-util",
        "rev": "7a381c7c5dc3adb7b97c8b8be17e4fb4cc63027d",
        "type": "github"
      },
      "original": {
        "owner": "stefan-hoeck",
        "repo": "idris2-elab-util",
        "type": "github"
      }
    },
    "flake-compat": {
      "flake": false,
      "locked": {
        "lastModified": 1650374568,
        "narHash": "sha256-Z+s0J8/r907g149rllvwhb4pKi8Wam5ij0st8PwAh+E=",
        "owner": "edolstra",
        "repo": "flake-compat",
        "rev": "b4a34015c698c7793d592d66adbab377907a2be8",
        "type": "github"
      },
      "original": {
        "owner": "edolstra",
        "repo": "flake-compat",
        "type": "github"
      }
    },
    "flake-utils": {
      "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_2": {
      "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_3": {
      "locked": {
        "lastModified": 1644229661,
        "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "frex": {
      "flake": false,
      "locked": {
        "lastModified": 1637410704,
        "narHash": "sha256-BthU1t++n0ZvS76p0fCHsE33QSoXYxf0hMUSKajDY8w=",
        "owner": "frex-project",
        "repo": "idris-frex",
        "rev": "22c480e879c757a5cebca7bb555ec3d21ae3ac28",
        "type": "github"
      },
      "original": {
        "owner": "frex-project",
        "repo": "idris-frex",
        "type": "github"
      }
    },
    "fvect": {
      "flake": false,
      "locked": {
        "lastModified": 1633247988,
        "narHash": "sha256-zElIze03XpcrYL4H5Aj0ZGNplJGbtOx+iWnivJMzHm0=",
        "owner": "mattpolzin",
        "repo": "idris-fvect",
        "rev": "1c5e3761e0cd83e711a3535ef9051bea45e6db3f",
        "type": "github"
      },
      "original": {
        "owner": "mattpolzin",
        "repo": "idris-fvect",
        "type": "github"
      }
    },
    "hashable": {
      "flake": false,
      "locked": {
        "lastModified": 1633965157,
        "narHash": "sha256-Dggf5K//RCZ7uvtCyeiLNJS6mm+8/n0RFW3zAc7XqPg=",
        "owner": "z-snails",
        "repo": "idris2-hashable",
        "rev": "d6fec8c878057909b67f3d4da334155de4f37907",
        "type": "github"
      },
      "original": {
        "owner": "z-snails",
        "repo": "idris2-hashable",
        "type": "github"
      }
    },
    "hedgehog": {
      "flake": false,
      "locked": {
        "lastModified": 1639041435,
        "narHash": "sha256-893cPy7gGSQpVmm9co3QCpWsgjukafZHy8YFk9xts30=",
        "owner": "stefan-hoeck",
        "repo": "idris2-hedgehog",
        "rev": "a66b1eb0bf84c4a7b743cfb217be69866bc49ad8",
        "type": "github"
      },
      "original": {
        "owner": "stefan-hoeck",
        "repo": "idris2-hedgehog",
        "type": "github"
      }
    },
    "home-manager": {
      "inputs": {
        "nixpkgs": [
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1656169755,
        "narHash": "sha256-Nlnm4jeQWEGjYrE6hxi/7HYHjBSZ/E0RtjCYifnNsWk=",
        "owner": "nix-community",
        "repo": "home-manager",
        "rev": "4a3d01fb53f52ac83194081272795aa4612c2381",
        "type": "github"
      },
      "original": {
        "owner": "nix-community",
        "ref": "release-22.05",
        "repo": "home-manager",
        "type": "github"
      }
    },
    "idrall": {
      "flake": false,
      "locked": {
        "lastModified": 1636495701,
        "narHash": "sha256-aOdCRd4XsSxwqVGta1adlZBy8TVTxTwFDnJ1dyMZK8M=",
        "owner": "alexhumphreys",
        "repo": "idrall",
        "rev": "13ef174290169d05c9e9abcd77c53412e3e0c944",
        "type": "github"
      },
      "original": {
        "owner": "alexhumphreys",
        "ref": "13ef174",
        "repo": "idrall",
        "type": "github"
      }
    },
    "idris-server": {
      "flake": false,
      "locked": {
        "lastModified": 1634507315,
        "narHash": "sha256-ulo23yLJXsvImoMB/1C6yRRTqmn/Odo+aUaVi+tUhJo=",
        "owner": "avidela",
        "repo": "idris-server",
        "rev": "661a4ecf0fadaa2bd79c8e922c2d4f79b0b7a445",
        "type": "gitlab"
      },
      "original": {
        "owner": "avidela",
        "repo": "idris-server",
        "type": "gitlab"
      }
    },
    "idris2": {
      "flake": false,
      "locked": {
        "lastModified": 1639427352,
        "narHash": "sha256-C1K2FM1Kio8vi9FTrivdacYCX4cywIsLBeNCsZ6ft4g=",
        "owner": "idris-lang",
        "repo": "idris2",
        "rev": "36918e618646177b1e0c2fd01f21cc8d04d9da30",
        "type": "github"
      },
      "original": {
        "owner": "idris-lang",
        "repo": "idris2",
        "type": "github"
      }
    },
    "idris2-pkgs": {
      "inputs": {
        "Prettier": "Prettier",
        "collie": "collie",
        "comonad": "comonad",
        "dom": "dom",
        "dot-parse": "dot-parse",
        "effect": "effect",
        "elab-util": "elab-util",
        "flake-utils": "flake-utils",
        "frex": "frex",
        "fvect": "fvect",
        "hashable": "hashable",
        "hedgehog": "hedgehog",
        "idrall": "idrall",
        "idris-server": "idris-server",
        "idris2": "idris2",
        "indexed": "indexed",
        "inigo": "inigo",
        "ipkg-to-json": "ipkg-to-json",
        "json": "json",
        "katla": "katla",
        "lsp": "lsp",
        "nixpkgs": [
          "nixpkgs"
        ],
        "odf": "odf",
        "pretty-show": "pretty-show",
        "python": "python",
        "rhone": "rhone",
        "rhone-js": "rhone-js",
        "snocvect": "snocvect",
        "sop": "sop",
        "tailrec": "tailrec",
        "xml": "xml"
      },
      "locked": {
        "lastModified": 1642030375,
        "narHash": "sha256-J1uXnpPR72mjFjLBuYcvDHStBxVya6/MjBNNwqxGeD0=",
        "owner": "claymager",
        "repo": "idris2-pkgs",
        "rev": "ac33a49d4d4bd2b50fddb040cd889733a02c8f09",
        "type": "github"
      },
      "original": {
        "owner": "claymager",
        "repo": "idris2-pkgs",
        "type": "github"
      }
    },
    "indexed": {
      "flake": false,
      "locked": {
        "lastModified": 1638685238,
        "narHash": "sha256-FceB7o88yKYzjTfRC6yfhOL6oDPMmCQAsJZu/pjE2uA=",
        "owner": "mattpolzin",
        "repo": "idris-indexed",
        "rev": "ff3ba99b0063da6a74c96178e7f3c58a4ac1693e",
        "type": "github"
      },
      "original": {
        "owner": "mattpolzin",
        "repo": "idris-indexed",
        "type": "github"
      }
    },
    "inigo": {
      "flake": false,
      "locked": {
        "lastModified": 1637596767,
        "narHash": "sha256-LNx30LO0YWDVSPTxRLWGTFL4f3d5ANG6c60WPdmiYdY=",
        "owner": "idris-community",
        "repo": "Inigo",
        "rev": "57f5b5c051222d8c630010a0a3cf7d7138910127",
        "type": "github"
      },
      "original": {
        "owner": "idris-community",
        "repo": "Inigo",
        "type": "github"
      }
    },
    "ipkg-to-json": {
      "flake": false,
      "locked": {
        "lastModified": 1634937414,
        "narHash": "sha256-LhSmWRpI7vyIQE7QTo38ZTjlqYPVSvV/DIpIxzPmqS0=",
        "owner": "claymager",
        "repo": "ipkg-to-json",
        "rev": "2969b6b83714eeddc31e41577a565778ee5922e6",
        "type": "github"
      },
      "original": {
        "owner": "claymager",
        "repo": "ipkg-to-json",
        "type": "github"
      }
    },
    "json": {
      "flake": false,
      "locked": {
        "lastModified": 1639041459,
        "narHash": "sha256-TP/V1jBBP1hFPm/cJ5O2EJiaNoZ19KvBOAI0S9lvAR4=",
        "owner": "stefan-hoeck",
        "repo": "idris2-json",
        "rev": "7c0c028acad0ba0b63b37b92199f37e6ec73864a",
        "type": "github"
      },
      "original": {
        "owner": "stefan-hoeck",
        "repo": "idris2-json",
        "type": "github"
      }
    },
    "katla": {
      "flake": false,
      "locked": {
        "lastModified": 1636542431,
        "narHash": "sha256-X83NA/P3k1iPcBa8g5z8JldEmFEz/jxVeViJX0/FikY=",
        "owner": "idris-community",
        "repo": "katla",
        "rev": "d841ec243f96b4762074211ee81033e28884c858",
        "type": "github"
      },
      "original": {
        "owner": "idris-community",
        "repo": "katla",
        "type": "github"
      }
    },
    "kmonad": {
      "inputs": {
        "flake-utils": "flake-utils_2",
        "nixpkgs": [
          "nixpkgs"
        ]
      },
      "locked": {
        "dir": "nix",
        "lastModified": 1651937557,
        "narHash": "sha256-gvQsenQrEsLxLFgUGJhJBIx3+t1dtLMMTVEO/yZ8nRg=",
        "owner": "kmonad",
        "repo": "kmonad",
        "rev": "c43a0180a3b9ca9c4ff4a283b17369fc4e8e46e2",
        "type": "github"
      },
      "original": {
        "dir": "nix",
        "owner": "kmonad",
        "repo": "kmonad",
        "type": "github"
      }
    },
    "lsp": {
      "flake": false,
      "locked": {
        "lastModified": 1639486283,
        "narHash": "sha256-po396FnUu8iqiipwPxqpFZEU4rtpX3jnt3cySwjLsH8=",
        "owner": "idris-community",
        "repo": "idris2-lsp",
        "rev": "7ebb6caf6bb4b57c5107579aba2b871408e6f183",
        "type": "github"
      },
      "original": {
        "owner": "idris-community",
        "repo": "idris2-lsp",
        "type": "github"
      }
    },
    "neovim-flake": {
      "inputs": {
        "flake-utils": "flake-utils_3",
        "nixpkgs": [
          "neovim-nightly-overlay",
          "nixpkgs"
        ]
      },
      "locked": {
        "dir": "contrib",
        "lastModified": 1660114525,
        "narHash": "sha256-u0cIHXZREfc5h0r1qDYHXswPAoXfYNRE01twXkYyUgw=",
        "owner": "neovim",
        "repo": "neovim",
        "rev": "3ee6c05b4b5fa253bdf64fff68c71763b5d816b7",
        "type": "github"
      },
      "original": {
        "dir": "contrib",
        "owner": "neovim",
        "repo": "neovim",
        "type": "github"
      }
    },
    "neovim-nightly-overlay": {
      "inputs": {
        "flake-compat": "flake-compat",
        "neovim-flake": "neovim-flake",
        "nixpkgs": [
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1660119382,
        "narHash": "sha256-DMeHVU8bH03js932AU14mfEEIMJvr/DnrgyG0xtLhZc=",
        "owner": "nix-community",
        "repo": "neovim-nightly-overlay",
        "rev": "39a5400f30c95c04805df8f6f8fc5527decd49af",
        "type": "github"
      },
      "original": {
        "owner": "nix-community",
        "repo": "neovim-nightly-overlay",
        "type": "github"
      }
    },
    "nixos-unstable": {
      "locked": {
        "lastModified": 1660071133,
        "narHash": "sha256-XX6T9wcvEZIVWY4TO5O1d2MgFyFrF2v4TpCFs7fjdn8=",
        "owner": "nixos",
        "repo": "nixpkgs",
        "rev": "36cc29d837e7232e3176e4651e8e117a6f231793",
        "type": "github"
      },
      "original": {
        "owner": "nixos",
        "ref": "nixos-unstable",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "nixpkgs": {
      "locked": {
        "lastModified": 1660187857,
        "narHash": "sha256-+Qmz6wx9qVGpbodRUOFs+ROTXlG/LbasiH+IikF1OQ8=",
        "owner": "nixos",
        "repo": "nixpkgs",
        "rev": "b946a106c1c62988c69832faae10e491a7817e0b",
        "type": "github"
      },
      "original": {
        "owner": "nixos",
        "ref": "release-22.05",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "nixpkgs-unstable": {
      "locked": {
        "lastModified": 1660137652,
        "narHash": "sha256-L92gcG6Ya4bqjJmStl/HTENhc0PR9lmVgTmeVpk13Os=",
        "owner": "nixos",
        "repo": "nixpkgs",
        "rev": "a7f89ddd6313ef88fc9c6534ac2511ba9da85fdb",
        "type": "github"
      },
      "original": {
        "owner": "nixos",
        "ref": "nixpkgs-unstable",
        "repo": "nixpkgs",
        "type": "github"
      }
    },
    "odf": {
      "flake": false,
      "locked": {
        "lastModified": 1638184051,
        "narHash": "sha256-usSdPx+UqOGImHHdHcrytdzi2LXtIRZuUW0fkD/Wwnk=",
        "owner": "madman-bob",
        "repo": "idris2-odf",
        "rev": "d2f532437321c8336f1ca786b44b6ebef4117126",
        "type": "github"
      },
      "original": {
        "owner": "madman-bob",
        "repo": "idris2-odf",
        "type": "github"
      }
    },
    "pretty-show": {
      "flake": false,
      "locked": {
        "lastModified": 1639041411,
        "narHash": "sha256-BzEe1fpX+lqGEk8b1JZoQT1db5I7s7SZnLCttRVGXdY=",
        "owner": "stefan-hoeck",
        "repo": "idris2-pretty-show",
        "rev": "a4bc6156b9dac43699f87504cbdb8dada5627863",
        "type": "github"
      },
      "original": {
        "owner": "stefan-hoeck",
        "repo": "idris2-pretty-show",
        "type": "github"
      }
    },
    "python": {
      "flake": false,
      "locked": {
        "lastModified": 1635936936,
        "narHash": "sha256-c9mcMApN0qgu0AXQVu0V+NXt2poP258wCPkyvtQvv4I=",
        "owner": "madman-bob",
        "repo": "idris2-python",
        "rev": "0eab028933c65bebe744e879881416f5136d6943",
        "type": "github"
      },
      "original": {
        "owner": "madman-bob",
        "repo": "idris2-python",
        "type": "github"
      }
    },
    "rhone": {
      "flake": false,
      "locked": {
        "lastModified": 1639041532,
        "narHash": "sha256-2g43shlWQIT/1ogesUBUBV9N8YiD3RwaCbbhdKLVp1s=",
        "owner": "stefan-hoeck",
        "repo": "idris2-rhone",
        "rev": "c4d828b0b8efea495d9a5f1e842a9c67cad57724",
        "type": "github"
      },
      "original": {
        "owner": "stefan-hoeck",
        "repo": "idris2-rhone",
        "type": "github"
      }
    },
    "rhone-js": {
      "flake": false,
      "locked": {
        "lastModified": 1639041546,
        "narHash": "sha256-ddWVsSRbfA6ghmwiRMzDpHBPM+esGdutuqm1qQZgs88=",
        "owner": "stefan-hoeck",
        "repo": "idris2-rhone-js",
        "rev": "520dd59549f5b14075045314b6805c7492ed636e",
        "type": "github"
      },
      "original": {
        "owner": "stefan-hoeck",
        "repo": "idris2-rhone-js",
        "type": "github"
      }
    },
    "root": {
      "inputs": {
        "home-manager": "home-manager",
        "idris2-pkgs": "idris2-pkgs",
        "kmonad": "kmonad",
        "neovim-nightly-overlay": "neovim-nightly-overlay",
        "nixos-unstable": "nixos-unstable",
        "nixpkgs": "nixpkgs",
        "nixpkgs-unstable": "nixpkgs-unstable",
        "stylix": "stylix"
      }
    },
    "snocvect": {
      "flake": false,
      "locked": {
        "lastModified": 1641633224,
        "narHash": "sha256-6zTU4sDzd/R/dFCTNZaX41H4L3/USGLFghMS0Oc9liY=",
        "owner": "mattpolzin",
        "repo": "idris-snocvect",
        "rev": "ff1e7afba360a62f7e522e9bbb856096a79702c4",
        "type": "github"
      },
      "original": {
        "owner": "mattpolzin",
        "repo": "idris-snocvect",
        "type": "github"
      }
    },
    "sop": {
      "flake": false,
      "locked": {
        "lastModified": 1639041379,
        "narHash": "sha256-PDTf1Wx6EygiWszguvoVPiqIISYFLabI4e0lXHlrjcA=",
        "owner": "stefan-hoeck",
        "repo": "idris2-sop",
        "rev": "e4354d1883cd73616019457cb9ebf864d99df6a0",
        "type": "github"
      },
      "original": {
        "owner": "stefan-hoeck",
        "repo": "idris2-sop",
        "type": "github"
      }
    },
    "stylix": {
      "inputs": {
        "base16": "base16",
        "coricamu": "coricamu",
        "home-manager": [
          "home-manager"
        ],
        "nixpkgs": [
          "nixpkgs"
        ]
      },
      "locked": {
        "lastModified": 1660382154,
        "narHash": "sha256-OMh2cBIm8C/rVVgSuD9Tz0+04N98u1FsGNJMuYCIMDc=",
        "owner": "danth",
        "repo": "stylix",
        "rev": "9185529e3dbededab5f13e5305667a705ee85528",
        "type": "github"
      },
      "original": {
        "owner": "danth",
        "repo": "stylix",
        "type": "github"
      }
    },
    "tailrec": {
      "flake": false,
      "locked": {
        "lastModified": 1637146655,
        "narHash": "sha256-0yi7MQIrISPvAwkgDC1M5PHDEeVyIaISF0HjKDaT0Rw=",
        "owner": "stefan-hoeck",
        "repo": "idris2-tailrec",
        "rev": "dd0bc6381b3a2e69aa37f9a8c1b165d4b1516ad7",
        "type": "github"
      },
      "original": {
        "owner": "stefan-hoeck",
        "repo": "idris2-tailrec",
        "type": "github"
      }
    },
    "utils": {
      "locked": {
        "lastModified": 1642700792,
        "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=",
        "owner": "numtide",
        "repo": "flake-utils",
        "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba",
        "type": "github"
      },
      "original": {
        "owner": "numtide",
        "repo": "flake-utils",
        "type": "github"
      }
    },
    "xml": {
      "flake": false,
      "locked": {
        "lastModified": 1637939752,
        "narHash": "sha256-yYJBhPfwYoi7amlHmeNGrVCOAc3BjZpKTCd9wDs3XEM=",
        "owner": "madman-bob",
        "repo": "idris2-xml",
        "rev": "1292ccfcd58c551089ef699e4560343d5c473d64",
        "type": "github"
      },
      "original": {
        "owner": "madman-bob",
        "repo": "idris2-xml",
        "type": "github"
      }
    }
  },
  "root": "root",
  "version": 7
}