Skip to content
Sections
>> Trisquel >> Paquets >> nabia >> Source >> misc >> spin
[  etiona  ] [  nabia  ] [  aramo  ]

Paquet source : spin (6.4.9+dfsg-1)

Liens pour spin

Ressources Trisquel :

Responsable :

Original Maintainers:

  • Tom Lee
  • tony mancill

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
spin
formal software verification tool

Autres paquets associés à spin

  • build-depends
  • build-depends-indep
  • adep: debhelper (>= 11)
    helper programs for debian/rules
  • adep: bison
    YACC-compatible parser generator

Download spin

FichierTaille (en ko)Somme MD5
spin_6.4.9+dfsg-1.dsc 1,9 ko 3c9ba32315318f42fc235a0b5088fd2c
spin_6.4.9+dfsg.orig.tar.xz 359,2 ko d5f655c3cb461903f607f019e05b4b7a
spin_6.4.9+dfsg-1.debian.tar.xz 4,2 ko e2bde865b9846d508a9c3c4d7feefba6
Dépôt Debian des paquets source (VCS: Git)
https://github.com/thomaslee/spin-debian
Dépôt Debian des paquets source (interface web)
https://github.com/thomaslee/spin-debian