Update sources (#1850)

* Update sources * don't build odds --------- Co-authored-by: UpdateBot <[email protected]>
nix-ocaml · Dec 28, 2024 · 3245d4f · 3245d4f
1 parent 28d227e
commit 3245d4f
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 5 deletions.
diff --git a/ci/filter.nix b/ci/filter.nix
@@ -105,6 +105,8 @@ let
 
     ## Broken on GCC14 or clang19
     "mopsa"
+
+    "odds"
   ];
 
   ocaml5Ignores = [

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=7cc0bff31a3a705d3ac4fdceb030a17239412210";
+    nixpkgs.url = "github:NixOS/nixpkgs?rev=c0b0a559cfda174531d820221b1fde9a599eb367";
   };
 
   outputs = { self, nixpkgs }:
-Original file line number
+Diff line change
@@ Expand Up / @@ -105,6 +105,8 @@ let @@
         ## Broken on GCC14 or clang19
         "mopsa"
+        "odds"
       ];
       ocaml5Ignores = [
@@ Expand Down @@