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.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'flake.nix')

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