Skip to content
Sections
>> Trisquel >> Paket >> nabia >> Källkod >> misc >> spin
[  etiona  ] [  nabia  ] [  aramo  ]

Källkodspaket: spin (6.4.9+dfsg-1)

Länkar för spin

Trisquelresurser:

Ansvarig:

Original Maintainers:

  • Tom Lee
  • tony mancill

Externa resurser:

Följande binärpaket byggs från detta källkodspaket:
spin
formal software verification tool

Andra paket besläktade med spin

  • bygg-beroende
  • arkitekturoberoende bygg-beroende
  • adep: debhelper (>= 11)
    helper programs for debian/rules
  • adep: bison
    YACC-compatible parser generator

Download spin

FilStorlek (i kbyte)MD5-kontrollsumma
spin_6.4.9+dfsg-1.dsc 1,9 kbyte 3c9ba32315318f42fc235a0b5088fd2c
spin_6.4.9+dfsg.orig.tar.xz 359,2 kbyte d5f655c3cb461903f607f019e05b4b7a
spin_6.4.9+dfsg-1.debian.tar.xz 4,2 kbyte e2bde865b9846d508a9c3c4d7feefba6
Debians paketkällkodsarkiv- (VCS: Git)
https://github.com/thomaslee/spin-debian
Debians paketkällkodsarkiv (blädderbart)
https://github.com/thomaslee/spin-debian