Verifpal 0.27.2

symbolicsoft · Aug 23, 2023 · d51a28b · d51a28b
1 parent a22156f
commit d51a28b
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 5 deletions.
diff --git a/assets/releasenotes.txt b/assets/releasenotes.txt
@@ -1,3 +1 @@
-Verifpal 0.27.1 introduces nothing new: it's simply an update to move Verifpal's package management URLs to the new GitHub repository.
-
-That's right: Verifpal is moving to https://github.com/symbolicsoft/verifpal. Please update your links!
+Verifpal 0.27.2 fixes build issues with the previous version. There is no need to update from 0.27.0 or 0.27.1 if Verifpal builds correctly for you.
diff --git a/assets/version.txt b/assets/version.txt
@@ -1 +1 @@
-0.27.1
+0.27.2
diff --git a/cmd/verifpal/main.go b/cmd/verifpal/main.go
@@ -20,7 +20,7 @@ import (
 	"verifpal.com/cmd/vplogic"
 )
 
-const version = "0.27.1"
+const version = "0.27.2"
 
 var rootCmd = &cobra.Command{
 	Use:     "verifpal",