Arch

tamarin-prover 1.4.1-108 x86_64

tamarin-prover 1.4.1-108

Architecture: x86_64
Repository: Community
Description: The Tamarin prover for security protocol analysis
Upstream URL: https://tamarin-prover.github.io
License(s): GPL
Maintainers: Felix Yan
Package Size: 1.1 MB
Installed Size: 4.5 MB
Last Packager: Felix Yan
Build Date: 2019-07-11 08:20 UTC
Signed By: Felix Yan
Signature Date: 2019-07-11 08:22 UTC
Last Updated: 2019-07-11 12:15 UTC

Sending
User Review
0 (0 votes)

Add Comment

Click here to post a comment