[  etiona  ] [  nabia  ] [  aramo  ]

Links for spin

Trisquel Resources:

• Bug Reports
• Changelog
• Copyright File
• Debian Source Repository (Git)

Maintainer:

• Tom Lee

Original Maintainers:

• Tom Lee
• tony mancill

External Resources:

• Homepage [spinroot.com]

Наступні двійкові пакунки побудовано з цього джерельного пакунка:

spin

formal software verification tool

Інші пакунки пов'язані з spin

build-depends

build-depends-indep

• adep: debhelper (>= 10)

  helper programs for debian/rules

• adep: bison

  YACC-compatible parser generator

Download spin

Файл	Розмір (в кБ)	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