[  etiona  ] [  nabia  ] [  aramo  ]

Links for spin

Trisquel-palvelut:

• Vikailmoitukset
• Changelog
• Tekijänoikeustiedosto
• Debian Source Repository (Git)

Ylläpitäjä:

• Tom Lee

Original Maintainers:

• Tom Lee
• tony mancill

External Resources:

• Kotisivu [spinroot.com]

Seuraavat binääripaketit on käännetty tästä lähdepaketista:

spin

formal software verification tool

Muut pakettiin spin liittyvät paketit

build-depends

build-depends-indep

• adep: debhelper-compat (= 12)

  Paketti ei saatavilla

• adep: bison

  YACC-compatible parser generator

Download spin

Tiedosto	Koko (kt)	MD5-tarkiste
spin_6.5.2+dfsg-1.dsc	1.9 kt	e2e149bb544d442b10d3a8675c6c789f
spin_6.5.2+dfsg.orig.tar.xz	588.7 kt	b8311ef34521174980f53d29b1991f2d
spin_6.5.2+dfsg-1.debian.tar.xz	5.6 kt	58eadd5f7efe3d40fd32f7d27fe3ba3c

Debian Package Source Repository (VCS: Git)

https://github.com/thomaslee/spin-debian

Debian Package Source Repository (Browsable)

https://github.com/thomaslee/spin-debian