[Verifpal] [ANNOUNCE] Verifpal v0.12.0

Nadim Kobeissi 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.

Nadim Kobeissi
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:

> Hello,
>
> 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:
> https://source.symbolic.software/verifpal/verifpal/-/releases
>
> 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:
> https://snapcraft.io/verifpal
>
> To receive more information about Verifpal, please visit
> https://verifpal.com.
>
> Thank you,
> Symbolic Software Drone
>
> _______________________________________________
> Verifpal mailing list
> Verifpal at lists.symbolic.software
> https://lists.symbolic.software/mailman/listinfo/verifpal
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20200415/29bd513b/attachment.htm>


More information about the Verifpal mailing list