spin
Paket-Details
| Name | spin |
|---|---|
| Version | 6.5.2-5 |
| Beschreibung | Tool for the formal verification of distributed software systems |
| URL | https://spinroot.com/ |
| Lizenzen | custom:BSD3 |
| Repositorium | extra |
| Architektur | x86_64 |
| Packer | Frederik Schwan |
| Erstellt am | 04.07.2024 |
| Quelltext | Quelldateien, Änderungshistorie |
| Bugs | Issue-Tracker |
| Paket | spin-6.5.2-5-x86_64.pkg.tar.zst |
| PGP-Signatur | spin-6.5.2-5-x86_64.pkg.tar.zst.sig |
| Paket-Größe | 332.5 KiB |
| Installations-Größe | 979.0 KiB |
| Beliebtheit |