diff --git a/flake.lock b/flake.lock index efe68e5..35b2aa7 100644 --- a/flake.lock +++ b/flake.lock @@ -138,32 +138,18 @@ "type": "github" } }, - "nixpkgs_3": { - "locked": { - "lastModified": 1733838633, - "narHash": "sha256-51x/FRiqMGQMyP+aSTp5b36WxsvT7q9KYtW2f+7+HoI=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "cdb5bd9f4fe066d1726cd848ad5858eb36a2ca93", - "type": "github" - }, - "original": { - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "cdb5bd9f4fe066d1726cd848ad5858eb36a2ca93", - "type": "github" - } - }, "ocaml-overlay": { "inputs": { - "nixpkgs": "nixpkgs_3" + "nixpkgs": [ + "nixpkgs" + ] }, "locked": { - "lastModified": 1733872709, - "narHash": "sha256-CSjVHftyEGmkDeheoWDjQECIrgASNy8FNc0fqIFvcwM=", + "lastModified": 1734156418, + "narHash": "sha256-7I6hKojqDm0Z+q9ZvDk8R5J/TfoPbprmVquwfQIzQrg=", "owner": "nix-ocaml", "repo": "nix-overlays", - "rev": "8a82971570aafb4233340ef429ba672fd780b5ac", + "rev": "3bd751c1d602713195432d4818b35d29c4b1dccc", "type": "github" }, "original": { diff --git a/flake.nix b/flake.nix index 6cef530..f1c5cec 100644 --- a/flake.nix +++ b/flake.nix @@ -2,8 +2,11 @@ inputs = { nixpkgs.url = "github:nixos/nixpkgs/nixpkgs-unstable"; - ocaml-overlay.url = "github:nix-ocaml/nix-overlays"; - + ocaml-overlay = { + url = "github:nix-ocaml/nix-overlays"; + inputs.nixpkgs.follows = "nixpkgs"; + }; + flake-utils.url = "github:numtide/flake-utils"; nh.url = "github:viperML/nh";