Package Details: verifpal 0.19.1-1

Git Clone URL: https://aur.archlinux.org/verifpal.git (read-only, click to copy)
Package Base: verifpal
Description: Cryptographic protocol analysis for students and engineers.
Upstream URL: https://verifpal.com/
Licenses: GPL
Submitter: PhCl
Maintainer: PhCl
Last Packager: PhCl
Votes: 0
Popularity: 0.000000
First Submitted: 2020-06-22 12:56
Last Updated: 2020-09-03 12:11