CI: update nixpkgs (to channel 24.05)

It notably includes: - GNU binutils 2.41 - Coq 8.19 - mathcomp 2.2.0 - OCaml 5.1.1
jasmin-lang · Jun 3, 2024 · 075330f · 075330f
1 parent 83e232e
commit 075330f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/scripts/nixpkgs.nix b/scripts/nixpkgs.nix
@@ -1,4 +1,4 @@
 import (fetchTarball {
-  url = "https://github.com/NixOS/nixpkgs/archive/576ecd43d3b864966b4423a853412d6177775e8b.tar.gz";
-  sha256 = "sha256:05gr8w09w7fqfi6zflx7df1n0hhsf8f4p9siikk3wb7k7by2d9sr";
+  url = "https://github.com/NixOS/nixpkgs/archive/805a384895c696f802a9bf5bf4720f37385df547.tar.gz";
+  sha256 = "sha256:1q7y5ygr805l5axcjhn0rn3wj8zrwbrr0c6a8xd981zh8iccmx0p";
 })