[  etiona  ] [  nabia  ] [  aramo  ]

Verwijzigingen voor spin

Trisquel bronnen:

• Probleemrapporten
• Changelog
• Copyright-bestand
• Debian Source Repository (Git)

Beheerder:

• Tom Lee

Original Maintainers:

• Tom Lee
• tony mancill

Externe bronnen:

• Homepage [spinroot.com]

De volgende binaire pakketten worden van dit bronpakket gebouwd:

spin

formal software verification tool

Andere aan spin gerelateerde pakketten

build-depends

build-depends-indep

• adep: debhelper (>= 10)

  helper programs for debian/rules

• adep: bison

  YACC-compatible parser generator

Download spin

Bestand	Grootte (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