Update sources (#1919)

* Update sources * fix visitors * ignore dolmen-lsp * underscore --------- Co-authored-by: UpdateBot <[email protected]>
nix-ocaml · Feb 16, 2025 · f626a9b · f626a9b
1 parent 0329f98
commit f626a9b
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 7 deletions.
diff --git a/ci/filter.nix b/ci/filter.nix
@@ -102,6 +102,7 @@ let
     ## Doesn't work with latest lsp on 5.2
     "linol"
     "linol-lwt"
+    "dolmen_lsp"
 
     ## Broken on GCC14 or clang19
     "mopsa"

diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -7,7 +7,7 @@
   };
 
   inputs = {
-    nixpkgs.url = "github:NixOS/nixpkgs?rev=58edd1e2acbc9be9fe29964344c6419db013141e";
+    nixpkgs.url = "github:NixOS/nixpkgs?rev=31ff66eb77d02e9ac34b7256a02edb1c43fb9998";
   };
 
   outputs = { self, nixpkgs }:

diff --git a/ocaml/default.nix b/ocaml/default.nix
@@ -2668,8 +2668,8 @@ with oself;
           {
             owner = "fpottier";
             repo = "visitors";
-            rev = "20250207";
-            hash = "sha256-tYlPcVJrXCJ276wo3eHe7WRtpeH+o5prD946eqGkQyY=";
+            rev = "20250212";
+            hash = "sha256-AFD4+vriwVGt6lzDyIDuIMadakcgB4j235yty5qqFgQ=";
             domain = "gitlab.inria.fr";
           } else o.src;
     propagatedBuildInputs = [ ppxlib ppx_deriving ];