Merge pull request 'chore: Update version' (#195 ) from chore/version into dev

Reviewed-on: #195
Merge branch 'dev' into chore/version
2025-05-01 10:41:47 -07:00 · 2025-05-01 13:39:28 -04:00 · 2025-04-20 09:34:28 -07:00
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.0"
+def version := "0.3.1"

 end Pantograph
Author	SHA1	Message	Date
Leni Aniva	120eb90291	Merge pull request 'chore: Update version' (#195 ) from chore/version into dev Reviewed-on: #195	2025-05-01 10:41:47 -07:00
Leni Aniva	df370b0bff	Merge branch 'dev' into chore/version	2025-05-01 13:39:28 -04:00
Leni Aniva	3653465ded	chore: Update version	2025-04-20 09:34:28 -07:00