update to nixos-24.05 channel

Signed-off-by: Matthias J. Kannwischer <[email protected]>
pq-code-package · Jun 12, 2024 · 2895110 · 2895110
1 parent d394d0e
commit 2895110
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -4,7 +4,7 @@
   description = "mlkem-c-aarch64";
 
   inputs = {
-    nixpkgs.url = "github:NixOS/nixpkgs/nixos-23.11";
+    nixpkgs.url = "github:NixOS/nixpkgs/nixos-24.05";
 
     flake-parts = {
       url = "github:hercules-ci/flake-parts";
@@ -30,11 +30,11 @@
               cbmc-viewer = cbmc-viewer; # 3.8
 
               inherit (pkgs)
-                cbmc# 5.91.0
+                cbmc# 5.91.1
                 ninja# 1.11.1
 
                 # formatter & linters
-                astyle# 3.4.10
+                astyle# 3.4.15
                 cadical
                 nixpkgs-fmt
                 shfmt;