From d51a28b98099075fe0b30dc98b94c4fe88209e26 Mon Sep 17 00:00:00 2001 From: Nadim Kobeissi Date: Wed, 23 Aug 2023 09:44:23 +0200 Subject: [PATCH] Verifpal 0.27.2 --- assets/releasenotes.txt | 4 +--- assets/version.txt | 2 +- cmd/verifpal/main.go | 2 +- 3 files changed, 3 insertions(+), 5 deletions(-) diff --git a/assets/releasenotes.txt b/assets/releasenotes.txt index 73224da..e91f285 100644 --- 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 index 83b4730..3edc695 100644 --- 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 index 931f0b6..a29a220 100644 --- 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",