Search Criteria
Package Details: verifpal-bin 0.27.4-1
Package Actions
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) |