Package Details: spin-git 6.5.2.r23.g6651f97-1

Git Clone URL: https://aur.archlinux.org/spin-git.git (read-only, click to copy)
Package Base: spin-git
Description: Explicit state logic model checking tool
Upstream URL: https://spinroot.com/
Licenses: custom:BSD3
Conflicts: spin
Provides: spin
Submitter: kyechou
Maintainer: kyechou
Last Packager: kyechou
Votes: 0
Popularity: 0.000000
First Submitted: 2019-08-07 20:53
Last Updated: 2020-12-24 18:20

Dependencies (5)

Required by (2)

Sources (1)