tamarin-prover 1.6.1-74

Architecture:x86_64
Repository:community
Base Package:tamarin-prover
Description:The Tamarin prover for security protocol analysis
Upstream URL:https://tamarin-prover.github.io
License(s):GPL
Package Size:1.6 MB
Installed Size:5.5 MB
Last Packager:Felix Yan
Last Updated:2022-01-24 03:49:16 JST