maint: Update dependencies

ProVerif · Jul 23, 2024 · 28bb8a2 · 28bb8a2
1 parent 1f65769
commit 28bb8a2
Show file tree

Hide file tree

Showing 7 changed files with 2,312 additions and 372 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,9 +1,15 @@
 # Changelog
 
+## v1.6.5
+
+Update dependencies.
+
+
 ## v1.6.4
 
 Rework symbol table for more accurate definitions.
 
+
 ## v1.6.3
 
 Fix crashes when file has grammar errors.