On Wed, Apr 15, 2020 at 12:17 PM Symbolic Software Drone via Verifpal <email@example.com> wrote:
Verifpal v0.12.0 is now available. Verifpal updates bring new features, performance improvements and/or bug fixes.
This update brings minor improvements and the addition of two new example models focusing on the Needham-Schroeder protocol.
Check out the list of changes in Verifpal v0.12.0, and download pre-compiled binary builds, here:
Pre-compiled builds are provided for Windows, Linux, macOS and FreeBSD in x86, amd64 and arm64 variants.
If you have installed Verifpal via the Scoop package manager for Windows, simply run the following commands to update to Verifpal v0.12.0:
scoop update verifpal
If you have installed Verifpal via the Homebrew package manager on Linux and macOS, simply run the following commands to update to Verifpal v0.12.0:
brew upgrade verifpal
On Linux, Verifpal is also available via the Snap Store: https://snapcraft.io/verifpal
To receive more information about Verifpal, please visit https://verifpal.com.
Symbolic Software Drone
Verifpal mailing list