[Verifpal] [ANNOUNCE] Verifpal v0.12.0
nadim at symbolic.software
Wed Apr 15 12:19:49 CEST 2020
Ugh, this is an incorrect, buggy release email. The real one will follow.
Symbolic Software • https://symbolic.software
Sent from office
On Wed, Apr 15, 2020 at 12:17 PM Symbolic Software Drone via Verifpal
<verifpal at lists.symbolic.software> 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
> 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 update
> brew upgrade verifpal
> On Linux, Verifpal is also available via the Snap Store:
> To receive more information about Verifpal, please visit
> Thank you,
> Symbolic Software Drone
> Verifpal mailing list
> Verifpal at lists.symbolic.software
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Verifpal