nightly update

Inria-Prosecco · May 25, 2024 · 8de24d4 · 8de24d4
1 parent 5b5752c
commit 8de24d4
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/charon.lock b/charon.lock
@@ -160,7 +160,7 @@ checksum = "baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd"
 
 [[package]]
 name = "charon"
-version = "0.1.2"
+version = "0.1.4"
 dependencies = [
  "anyhow",
  "assert_cmd",

diff --git a/flake.lock b/flake.lock