Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
verifpal
Cryptographic protocol analysis for real-world protocols
https://verifpal.com/
Overview
Dependencies
QA report
Pull requests
0
Bugs
1
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2023-08-13
sci-mathematics/verifpal: new package; add 0.27.0
f5770ff
Maciej Barć
committed on 2023-08-13 19:26:09 UTC
sci-mathematics/verifpal/Manifest
sci-mathematics/verifpal/files/verifpal-0.27.0-no-external-generate.patch
sci-mathematics/verifpal/metadata.xml
sci-mathematics/verifpal/verifpal-0.27.0.ebuild
Packages