tamarin-prover 1.4.0-101

アーキテクチャ: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-09-18 04:10:24 JST