spin source package in Impish

spin: formal software verification tool
spin-dbgsym: debug symbols for spin

Versions published

There is no current release of this source package in The Impish Indri. You can still report bugs, make translations, and so on, but they might not be used until the package is published.

spin information

No published releases of this package have been uploaded in Ubuntu Impish

Upstream connections

Spintrunk

Spin is a TinyOS program that collects received signal strength measurements using a token ring protocol. It is developed by the University of Utah's SPAN (Sensing and Processing Across Networks) lab.

Bug supervisor: no
Bug tracker: yes
Branch: yes

There are no registered releases for the Spin ⇒ trunk.

Releases in Ubuntu