tamarin-prover 1.4.0-67

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