GitHub repository: thomaslee/spin-debian
Primary language: C
Created: 2016-02-06T20:49:12Z
Description: Debian packaging for the Spin software verification tool (http://spinroot.com)