Deduplicate some more

Inria-Prosecco · Nov 19, 2024 · f208f8d · f208f8d
1 parent f193b59
commit f208f8d
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 20 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -8,12 +8,15 @@
     };
     eurydice = {
       url = "github:aeneasverif/eurydice";
+      # We would need to override karamel's nixpkgs too to get compatible ocaml versions.
+      # inputs.nixpkgs.follows = "nixpkgs";
       inputs.charon.follows = "charon";
     };
     fstar.follows = "eurydice/fstar";
     karamel.follows = "eurydice/karamel";
     hax = {
       url = "github:hacspec/hax";
+      inputs.nixpkgs.follows = "nixpkgs";
       inputs.fstar.follows = "fstar";
     };
     libcrux = {