{
  "pins": {
    "linkal": {
      "type": "Git",
      "repository": {
        "type": "GitHub",
        "owner": "JulienMalka",
        "repo": "Linkal"
      },
      "branch": "main",
      "revision": "8744b00eb819f181842f678bed6c1239f8210618",
      "url": "https://github.com/JulienMalka/Linkal/archive/8744b00eb819f181842f678bed6c1239f8210618.tar.gz",
      "hash": "03nk7x078bcvvv4i9xn29hpv041zxy62z2lfigxwdq1m8cnbwziw"
    },
    "agenix": {
      "type": "GitRelease",
      "repository": {
        "type": "GitHub",
        "owner": "ryantm",
        "repo": "agenix"
      },
      "pre_releases": false,
      "version_upper_bound": null,
      "version": "0.13.0",
      "revision": "9c9fbfb94b2d545c7f0b78da0254ea0041595795",
      "url": "https://api.github.com/repos/ryantm/agenix/tarball/0.13.0",
      "hash": "0k6aggy3lhqv6j11cvi4gr0i3jps8hlf262xl9ji3ffxwas46p54"
    },
    "disko": {
      "type": "GitRelease",
      "repository": {
        "type": "GitHub",
        "owner": "nix-community",
        "repo": "disko"
      },
      "pre_releases": false,
      "version_upper_bound": null,
      "version": "v1.0.0",
      "revision": "6cbfde5b505bbbf0cfcfff230efb272e4d4a2230",
      "url": "https://api.github.com/repos/nix-community/disko/tarball/v1.0.0",
      "hash": "153cm29hjgklsi1aw85srvcd3h3afm7j77llk4fj3slf5gcwnmx9"
    },
    "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"
    },
    "metis": {
      "type": "Git",
      "repository": {
        "type": "Git",
        "url": "https://git.dgnum.eu/DGNum/metis"
      },
      "branch": "master",
      "revision": "f086aab2bf940035acab3ea6c3c15ebd966ebe8c",
      "url": null,
      "hash": "0inivyfsq86bwsfqcrflj9mkx1lcsn0g2y2lpk03ibh417jxq1vx"
    },
    "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.4",
      "revision": "7f41fb168f0a97481d06019b3de305ebff9ee348",
      "url": null,
      "hash": "1ymx3ayi189xcinpc6r71qvwgqsvz96y7dwdxzlrjawr08c95wm2"
    },
    "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.3427.e5f018cf150e/nixexprs.tar.xz",
      "hash": "11idpz92nh7hcvfqk8gby7kdfdm7fhwi2q8cfr7dd3n0i12zy6hk"
    },
    "nixos-unstable": {
      "type": "Channel",
      "name": "nixos-unstable",
      "url": "https://releases.nixos.org/nixos/unstable/nixos-23.11pre522946.0bffda19b8af/nixexprs.tar.xz",
      "hash": "1hxa2hdjrx4pinsl0px94nkpfcvdvg7qzk4hr810bfm52ld1cjbj"
    },
    "nixpkgs": {
      "type": "Channel",
      "name": "nixpkgs-unstable",
      "url": "https://releases.nixos.org/nixpkgs/nixpkgs-23.11pre523160.efd23a1c9ae8/nixexprs.tar.xz",
      "hash": "1rh4mqan98f19i6flyx7n45shlc0fm3wfdb648qvwx3y1vpkpfj3"
    }
  },
  "version": 3
}