spin 6.5.2-5
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | spin |
| 説明: | Tool for the formal verification of distributed software systems |
| 上流 URL: | https://spinroot.com/ |
| ライセンス: | custom:BSD3 |
| パッケージ容量: | 340.4 KB |
| インストール容量: | 1.0 MB |
| パッケージ作成者: | Frederik Schwan |
| 最終更新: | 2024-07-04 18:38:31 JST |