{
  "pins": {
    "agenix": {
      "type": "GitRelease",
      "repository": {
        "type": "GitHub",
        "owner": "ryantm",
        "repo": "agenix"
      },
      "pre_releases": false,
      "version_upper_bound": null,
      "version": "0.14.0",
      "revision": "50cba110ed27578a644812b3dba2c8910677a148",
      "url": "https://api.github.com/repos/ryantm/agenix/tarball/0.14.0",
      "hash": "1j65lrj46w5iw8bal3adn3n0hdavwp9gdfdvmbqwcg1cn2wwx3zy"
    },
    "attic": {
      "type": "Git",
      "repository": {
        "type": "GitHub",
        "owner": "zhaofengli",
        "repo": "attic"
      },
      "branch": "main",
      "revision": "b43d12082e34bceb26038bdad0438fd68804cfcd",
      "url": "https://github.com/zhaofengli/attic/archive/b43d12082e34bceb26038bdad0438fd68804cfcd.tar.gz",
      "hash": "0dfc4i32hl4qkcpm23kzrarswznaapbgbdx41ci2l6hn92z0vd4d"
    },
    "disko": {
      "type": "GitRelease",
      "repository": {
        "type": "GitHub",
        "owner": "nix-community",
        "repo": "disko"
      },
      "pre_releases": false,
      "version_upper_bound": null,
      "version": "v1.1.0",
      "revision": "9f29cedac79d0acf07b6341f9112f46dec3abb8f",
      "url": "https://api.github.com/repos/nix-community/disko/tarball/v1.1.0",
      "hash": "0wn8bf3g3s19pzc5lhnwsl2r5nymkiivs1hnmg1gfhwz6hyx2yqx"
    },
    "dns.nix": {
      "type": "GitRelease",
      "repository": {
        "type": "Git",
        "url": "https://git.hubrecht.ovh/hubrecht/dns.nix"
      },
      "pre_releases": false,
      "version_upper_bound": null,
      "version": "v1.2.1",
      "revision": "66979725afe2164491be38ffff78460cc9b0ffd7",
      "url": null,
      "hash": "1bashjbh71dqs32yld7ihw2vz0vrad73pc35crf3qck8ssgpzv7d"
    },
    "linkal": {
      "type": "Git",
      "repository": {
        "type": "GitHub",
        "owner": "JulienMalka",
        "repo": "Linkal"
      },
      "branch": "main",
      "revision": "c4c6f0f858870f3713af351b1783faf628de4f44",
      "url": "https://github.com/JulienMalka/Linkal/archive/c4c6f0f858870f3713af351b1783faf628de4f44.tar.gz",
      "hash": "1qgn1k3bgx8w50az302bv6id62ly0x78276ak56qb91q9vmpmml7"
    },
    "metis": {
      "type": "Git",
      "repository": {
        "type": "Git",
        "url": "https://git.dgnum.eu/DGNum/metis"
      },
      "branch": "master",
      "revision": "a14d334c7591a29bc84ed4aa86b11934b83c33ca",
      "url": null,
      "hash": "0irmx64a07fxyzva6m3advqjn98km8xa4nqn5mac0k55vfn4q6d9"
    },
    "nix-lib": {
      "type": "GitRelease",
      "repository": {
        "type": "Git",
        "url": "https://git.hubrecht.ovh/hubrecht/nix-lib"
      },
      "pre_releases": false,
      "version_upper_bound": null,
      "version": "0.1.5",
      "revision": "5260bfd4e8aaffef455bfa0edf3d0a2db81de989",
      "url": null,
      "hash": "18c9mcjx1v4zlgl91dgiq4rrcayz05fy8v5pq00dlyfm3chrqvxx"
    },
    "nix-patches": {
      "type": "GitRelease",
      "repository": {
        "type": "Git",
        "url": "https://git.hubrecht.ovh/hubrecht/nix-patches"
      },
      "pre_releases": false,
      "version_upper_bound": null,
      "version": "v0.2.0",
      "revision": "6d47298262bd256b02281281ecf58bbf15ed21ba",
      "url": null,
      "hash": "14w7w327m8rf7yrjflqvbnmwx04l36n7j0nca5ilpvzrr8f2gg6l"
    },
    "nixos-23.05": {
      "type": "Channel",
      "name": "nixos-23.05",
      "url": "https://releases.nixos.org/nixos/23.05/nixos-23.05.4420.679cadfdfed2/nixexprs.tar.xz",
      "hash": "0ln8vcrszdbkpzf7vcws0h6y4r9n5y05y9qfs6x0z8sl16dsncpp"
    },
    "nixos-unstable": {
      "type": "Channel",
      "name": "nixos-unstable",
      "url": "https://releases.nixos.org/nixos/unstable/nixos-23.11pre537656.7c9cc5a6e5d3/nixexprs.tar.xz",
      "hash": "1lmwllj7gwxk9172i2in5pjnzj90vjh9b79pisn3b90g24d3lspw"
    },
    "nixpkgs": {
      "type": "Channel",
      "name": "nixpkgs-unstable",
      "url": "https://releases.nixos.org/nixpkgs/nixpkgs-23.11pre538368.51d906d2341c/nixexprs.tar.xz",
      "hash": "19z6w8a70xallbg37c07i35z7n2isx4w7bq3q3gbabfw3s1rxymm"
    }
  },
  "version": 3
}