Daemon Power

The NetBSD Packages Collection: devel/spin

Brief description of the package:
Formal correctness prover

Please read the file "DESCR" for a longer description, or browse the package's history.

This package has a home page at http://spinroot.com/spin/whatispin.html.

Please note that this package has a spin-license license.

The package is located in the "devel/spin" directory. The current source version of the package is "spin-5.2.5". For a summary on how to use the package collection, go to the top of the packages tree.

Problem reports, updates or suggestions for this package should be reported with send-pr.

The following security vulnerabilities are known for devel/spin :

If you have a vulnerable package installed on any machine, you are advised to remove the package immediately, using the standard package tools. The pkg_admin audit command locates any installed package which has been mentioned in security advisories as being vulnerable.

This package requires the following package(s) to build: none .

This package requires the following package(s) to run: none .

Select one of the links below to download the package in precompiled binary form for installation with pkg_add(1). Available machine architectures and package versions:
alpha:spin-5.2.5.tgz(NetBSD 5.1)
arm:spin-5.2.5.tgz(NetBSD 5.1)
arm:spin-5.2.5.tgz(NetBSD 5.1)
arm:spin-5.2.5.tgz(NetBSD 5.1)
i386:spin-5.2.5.tgz(MirBSD 10)
i386:spin-5.2.5.tgz(MirBSD 10)
i386:spin-5.2.5.tgz(NetBSD 4.0.1)
i386:spin-5.2.5.tgz(NetBSD 4.0.1)
i386:spin-5.2.5.tgz(NetBSD 4.0.1)
i386:spin-5.2.5.tgz(NetBSD 5.0.2)
i386:spin-5.2.5.tgz(NetBSD 5.0.2)
i386:spin-5.2.5.tgz(NetBSD 5.0.2)
i386:spin-5.2.5.tgz(NetBSD 5.1)
i386:spin-5.2.5.tgz(NetBSD 6.0_BETA)
i386:spin-5.2.5.tgz(NetBSD 5.99.60)
i386:spin-5.2.5.tgz(QNX 6.5.0)
m68k:spin-5.2.5.tgz(NetBSD 5.1_STABLE)
m68k:spin-5.2.5.tgz(NetBSD 5.1_STABLE)
mipsel:spin-5.2.5.tgz(NetBSD 5.1_STABLE)
mipsel:spin-5.2.5.tgz(NetBSD 5.1_STABLE)
mipsel:spin-5.2.5.tgz(NetBSD 5.1_STABLE)
powerpc:spin-5.2.5.tgz(NetBSD 4.0)
powerpc:spin-5.2.5.tgz(NetBSD 5.1_STABLE)
powerpc:spin-5.2.5.tgz(NetBSD 5.1_STABLE)
powerpc:spin-5.2.5.tgz(NetBSD 5.1)
sh3el:spin-5.2.5.tgz(NetBSD 5.1_STABLE)
sh3el:spin-5.2.5.tgz(NetBSD 5.1_STABLE)
sh3el:spin-5.2.5.tgz(NetBSD 5.1_STABLE)
sparc64:spin-5.2.5.tgz(NetBSD 5.1)
sparc64:spin-5.2.5.tgz(NetBSD 5.1_STABLE)
sparc64:spin-5.2.5.tgz(NetBSD 5.1_STABLE)
sparc64:spin-5.2.5.tgz(NetBSD 5.1_STABLE)
sparc:spin-5.2.5.tgz(NetBSD 4.0)
sparc:spin-5.2.5.tgz(NetBSD 4.0)
sparc:spin-5.2.5.tgz(NetBSD 5.1)
sparc:spin-5.2.5.tgz(NetBSD 5.1)
vax:spin-5.2.5.tgz(NetBSD 5.1_STABLE)
vax:spin-5.2.5.tgz(NetBSD 5.1_STABLE)
vax:spin-5.2.5.tgz(NetBSD 5.1_STABLE)
x86_64:spin-5.2.5.tgz(NetBSD 4.0.1)
x86_64:spin-5.2.5.tgz(NetBSD 4.0.1)
x86_64:spin-5.2.5.tgz(NetBSD 4.0.1)
x86_64:spin-5.2.5.tgz(NetBSD 5.0.2)
x86_64:spin-5.2.5.tgz(NetBSD 5.0.2)
x86_64:spin-5.2.5.tgz(NetBSD 5.0.2)
x86_64:spin-5.2.5.tgz(NetBSD 5.1)
x86_64:spin-5.2.5.tgz(NetBSD 5.1)
x86_64:spin-5.2.5.tgz(NetBSD 5.1)
x86_64:spin-5.2.5.tgz(NetBSD 6.0_BETA)
x86_64:spin-5.2.5.tgz(NetBSD 6.0_BETA)
x86_64:spin-5.2.5.tgz(NetBSD 6.0_BETA)

The NetBSD packages collection is designed to permit easy installation from source - particularly useful if the latest binary package is not available for your chosen platform.

[ Go up one level | Go to top of packages tree | List all packages ]