Package details
Package spin
Version 6.5.2-r1
Description Tool for formal verification of distributed software systems
Project http://spinroot.com/
License BSD-3-Clause
Branch edge
Repository testing
Architecture x86
Size 324.14 kB
Installed size 900 kB
Origin spin
Maintainer None
Build time 2022-10-24 13:55:14
Commit 26bd7910a5aaa045bc21b38b20cf4d33993a8286
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (1)
Required by (0)
Sub Packages (1)