Nix: Update inputs

robur-coop · May 25, 2023 · a37ad30 · a37ad30
1 parent 2fb15da
commit a37ad30
Show file tree

Hide file tree

Showing 2 changed files with 37 additions and 22 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -10,7 +10,6 @@
   };
   inputs.flake-utils = {
     url = "github:numtide/flake-utils";
-    inputs.nixpkgs.follows = "nixpkgs";
   };
   inputs.opam-repository = {
     url = "github:ocaml/opam-repository";