2 files changed, 20 insertions, 5 deletions
diff --git a/.gitignore b/.gitignore
index 2d668039..36809c43 100644
--- a/.gitignore
+++ b/.gitignore
@@ -72,7 +72,6 @@ tests/fstar/misc/obj/
 nohup.out
 .vscode
 *#
-*.lock
 *.txt
 */.#*
 *.smt2
diff --git a/flake.lock b/flake.lock
index 4209cd99..ecc6b267 100644
--- a/flake.lock
+++ b/flake.lock
@@ -3,16 +3,17 @@
     "charon": {
       "inputs": {
         "crane": "crane",
+        "flake-compat": "flake-compat",
         "flake-utils": "flake-utils",
         "nixpkgs": "nixpkgs",
         "rust-overlay": "rust-overlay"
       },
       "locked": {
-        "lastModified": 1713364636,
-        "narHash": "sha256-+1qeUEzEz6wPc/0QaXQ6Co3tx8mckOggW8Hjx0qRFHc=",
+        "lastModified": 1713433954,
+        "narHash": "sha256-R3Pb/Z+V5s5neAwlTIhVJ/q3hDC65nLZ8d1ICotSdkM=",
         "owner": "aeneasverif",
         "repo": "charon",
-        "rev": "6267ea774c762a8ca47ce26e66acd6dcc6a0ac6b",
+        "rev": "80ceb481c90f3cda435d5a60944ea7516415b294",
         "type": "github"
       },
       "original": {
@@ -57,6 +58,21 @@
         "type": "github"
       }
     },
+    "flake-compat_2": {
+      "locked": {
+        "lastModified": 1688025799,
+        "narHash": "sha256-ktpB4dRtnksm9F5WawoIkEneh1nrEvuxb5lJFt1iOyw=",
+        "owner": "nix-community",
+        "repo": "flake-compat",
+        "rev": "8bf105319d44f6b9f0d764efa4fdef9f1cc9ba1c",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nix-community",
+        "repo": "flake-compat",
+        "type": "github"
+      }
+    },
     "flake-utils": {
       "inputs": {
         "systems": "systems"
@@ -236,7 +252,7 @@
     "root": {
       "inputs": {
         "charon": "charon",
-        "flake-compat": "flake-compat",
+        "flake-compat": "flake-compat_2",
         "flake-utils": [
           "charon",
           "flake-utils"