haskell-tamarin-prover-export 1.10.0-41
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | haskell-tamarin-prover-export |
| 説明: | Library for export of processes in the Sapic calculus to the Proverif calculus |
| 上流 URL: | http://www.infsec.ethz.ch/research/software/tamarin |
| ライセンス: | GPL |
| パッケージ容量: | 199.1 KB |
| インストール容量: | 1.1 MB |
| パッケージ作成者: | Felix Yan |
| 最終更新: | 2025-04-17 10:11:05 JST |