spin 6.5.2-4

Architecture:x86_64
Repository:community
Base Package:spin
Description:Tool for the formal verification of distributed software systems
Upstream URL:https://spinroot.com/
License(s):custom:BSD3
Package Size:409.3 KB
Installed Size:1.4 MB
Last Packager:Frederik Schwan
Last Updated:2020-06-30 12:58:24 JST

Dependencies (4)

Required By spin (1)