>> Trisquel >> Packages >> etiona >> Source >> misc >> spin

[ etiona ] [ nabia ] [ aramo ]

Source Package: spin (6.4.6+dfsg-2)

Links for spin

Trisquel Resources:

Maintainer:

Tom Lee

Original Maintainers:

Tom Lee
tony mancill

External Resources:

Homepage [spinroot.com]

The following binary packages are built from this source package:

spin: formal software verification tool

Other Packages Related to spin

build-depends

build-depends-indep

adep: debhelper (>= 10)

helper programs for debian/rules
adep: bison

YACC-compatible parser generator

Download spin

File	Size (in kB)	MD5 checksum
spin_6.4.6+dfsg-2.dsc	1.8 kB	c1818e8ce2e0cf4b6ce0034bb7979d75
spin_6.4.6+dfsg.orig.tar.xz	438.5 kB	86df4d2ccfd592026aee4c93987ad847
spin_6.4.6+dfsg-2.debian.tar.xz	4.0 kB	5baf0bdf2dab3123bcd6a67c7e7d828e

Debian Package Source Repository (VCS: Git): git://github.com/thomaslee/spin-debian
Debian Package Source Repository (Browsable): https://github.com/thomaslee/spin-debian