[Verifpal] Verifpal now available via Snap Store

Nadim Kobeissi nadim at symbolic.software
Fri Feb 28 21:17:28 CET 2020

Hello everyone,

A quick note: Verifpal is now available via the Snap Store, which makes it
easier to install and update Verifpal on all major Linux desktops!

Check out the Snap Store page here:

For those who don't know about Snap, it's a relatively recent project
sponsored by Ubuntu/Canonical, which appears to be attempting to provide a
distro-agnostic modern "app store" experience for Linux. It seems really

Links to the Snap Store listing have been added to the Verifpal website,
source code repository README, and to the Verifpal User Manual.

A reminder that Verifpal is also available via Homebrew for macOS and via
Scoop for Windows.

Have a nice weekend,

Nadim Kobeissi
Symbolic Software • https://symbolic.software
Sent from office
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20200228/d8846286/attachment.htm>

More information about the Verifpal mailing list