[  etiona  ] [  nabia  ] [  aramo  ]

Ссылки для spin

Ресурсы Trisquel:

• Сообщения об ошибках
• Changelog
• Файл авторских прав
• Репозиторий исходного кода Debian (Git)

Сопровождающий:

• Tom Lee

Original Maintainers:

• Tom Lee
• tony mancill

Внешние ресурсы:

• Сайт [spinroot.com]

Из этого пакета исходного кода собираются следующие двоичные пакеты:

spin

formal software verification tool

Другие пакеты, относящиеся к spin

для сборки

build-depends-indep

• adep: debhelper (>= 10)

  helper programs for debian/rules

• adep: bison

  YACC-compatible parser generator

Download spin

Файл	Размер (в Кб)	Контрольная сумма MD5
spin_6.4.6+dfsg-2.dsc	1,8 Кб	c1818e8ce2e0cf4b6ce0034bb7979d75
spin_6.4.6+dfsg.orig.tar.xz	438,5 Кб	86df4d2ccfd592026aee4c93987ad847
spin_6.4.6+dfsg-2.debian.tar.xz	4,0 Кб	5baf0bdf2dab3123bcd6a67c7e7d828e

Репозиторий пакетов исходного кода Debian (VCS: Git)

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

Репозиторий пакетов исходного кода Debian (доступен просмотр)

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