From 281513027f3a4c5650109d725d1ac5ee7739edba Mon Sep 17 00:00:00 2001
From: Zack Grannan
Date: Wed, 24 Apr 2024 17:26:21 -0700
Subject: Use eachDefaultSystem in flake.nix, update charon in flake.lock

---
 flake.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index 7faee70a..6f868e3b 100644
--- a/flake.nix
+++ b/flake.nix
@@ -14,7 +14,7 @@
   # Remark: keep the list of outputs in sync with the list of inputs above
   # (see above remark)
   outputs = { self, charon, flake-utils, nixpkgs, hacl-nix, flake-compat }:
-    flake-utils.lib.eachSystem [ "x86_64-linux" ] (system:
+    flake-utils.lib.eachDefaultSystem (system:
       let
         pkgs = import nixpkgs { inherit system; };
         ocamlPackages = pkgs.ocamlPackages;
-- 
cgit v1.2.3