tamarin-prover 1.4.1-7

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