tamarin-prover 1.2.2-41

アーキテクチャ:x86_64
リポジトリ:community
説明:The Tamarin prover for security protocol analysis
上流 URL:http://tamarin-prover.github.io
ライセンス:GPL
パッケージ容量:1.2 MB
インストール容量:4.6 MB
パッケージ作成者:Felix Yan
最終更新:2017-12-14 16:13:28 JST