chore: Update version to v0.3.4

2025-07-01 15:43:21 -07:00 · 2025-07-01 15:43:21 -07:00 · 7a18fb1f9c
parent 4c7f77b7ca
commit 7a18fb1f9c
1 changed files with 1 additions and 1 deletions
--- a/Pantograph/Version.lean
+++ b/Pantograph/Version.lean
@ -1,6 +1,6 @@
 namespace Pantograph

@[export pantograph_version]
-def version := "0.3.3"
+def version := "0.3.4"

 end Pantograph