tamarin-prover 1.4.0-139

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