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