From 2f43c95253de73fce3207a7e6895f257b857f566 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 11 Apr 2024 11:00:35 +0200
Subject: Use charon main

---
 flake.lock | 7 +++----
 flake.nix  | 2 +-
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/flake.lock b/flake.lock
index f35ddf2e..1eaf1375 100644
--- a/flake.lock
+++ b/flake.lock
@@ -8,16 +8,15 @@
         "rust-overlay": "rust-overlay"
       },
       "locked": {
-        "lastModified": 1712760963,
-        "narHash": "sha256-KV8ZSHfnAn9bx1JA4k7Vj8yntfxMjjqIH05yHV9IDH0=",
+        "lastModified": 1712825631,
+        "narHash": "sha256-YC0QArtso4Z9iBgd63FXHsSopMtWof0kC7ZrYpE6yzg=",
         "owner": "aeneasverif",
         "repo": "charon",
-        "rev": "763aa8c3d308be619829939170af93624e4561f4",
+        "rev": "657de2521c285401d706ec69d588bb5778b18109",
         "type": "github"
       },
       "original": {
         "owner": "aeneasverif",
-        "ref": "generic-copy",
         "repo": "charon",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index e1bafc6b..36910f45 100644
--- a/flake.nix
+++ b/flake.nix
@@ -4,7 +4,7 @@
   inputs = {
     # Remark: when adding inputs here, don't forget to also add them in the list
     # of outputs below!
-    charon.url = "github:aeneasverif/charon/generic-copy";
+    charon.url = "github:aeneasverif/charon";
     flake-utils.follows = "charon/flake-utils";
     nixpkgs.follows = "charon/nixpkgs";
     hacl-nix.url = "github:hacl-star/hacl-nix";
-- 
cgit v1.2.3