Package details
Package spin
Version 6.5.2-r0
Description Tool for formal verification of distributed software systems
License BSD-3-Clause
Branch edge
Repository testing
Architecture x86_64
Size 359.66 kB
Installed size 1.14 MB
Origin spin
Maintainer None
Build time 2020-02-03 07:12:06
Commit ee5b2fbe1b994655ad5fbded3fc725643c5cdb1b
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (1)
Required by (0)
Sub Packages (1)