Package Details: verifpal-bin 0.27.4-1

Git Clone URL: https://aur.archlinux.org/verifpal-bin.git (read-only, click to copy)
Package Base: verifpal-bin
Description: Cryptographic protocol analysis for real-world protocols.
Upstream URL: https://verifpal.com
Licenses: GPL3, custom:cc-by-nc-nd-4.0
Conflicts: verifpal
Provides: verifpal
Submitter: Fethbita
Maintainer: Fethbita
Last Packager: Fethbita
Votes: 0
Popularity: 0.000000
First Submitted: 2023-08-14 13:53 (UTC)
Last Updated: 2024-09-09 11:03 (UTC)