Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
spin
An efficient logic-model checker for the verification of multi-threaded code
https://spinroot.com/
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
Commits on 2022-12-02
Move {virtual -> app-alternatives}/yacc
02b17c9
Sam James
committed on 2022-12-02 21:09:48 UTC
spin-6.5.2-r1.ebuild
Commits on 2022-01-16
sci-mathematics/spin: backport upstream fix for CVE-2021-46168
69c2ae7
Marek Szuba
committed on 2022-01-16 08:57:12 UTC
files/spin-6.5.2-nesting_limit.patch
spin-6.5.2-r1.ebuild
spin-6.5.2.ebuild
Commits on 2021-11-27
sci-mathematics/spin: add 6.5.2, drop 6.5.1
57aaaf4
Marek Szuba
committed on 2021-11-27 23:13:34 UTC
files/spin-6.5.2-makefile.patch
spin-6.5.2.ebuild
Manifest
files/spin-6.5.1-makefile.patch
spin-6.5.1.ebuild
Commits on 2021-11-26
sci-mathematics/spin: add myself as a maintainer
776ec77
Marek Szuba
committed on 2021-11-26 22:49:36 UTC
metadata.xml
sci-mathematics/spin: add 6.5.1, remove 6.4.5
bb6e655
Marek Szuba
committed on 2021-11-26 22:48:20 UTC
files/spin-6.5.1-makefile.patch
spin-6.5.1.ebuild
Manifest
files/spin-6.4.5-makefile.patch
spin-6.4.5.ebuild
Commits on 2021-11-22
sci-mathematics/spin: keyword 6.4.5 for ~riscv
347c47c
Alex Fan
authored
and
Yixun Lan
committed on 2021-11-22 03:01:02 UTC
spin-6.4.5.ebuild
Commits on 2021-09-11
**/metadata.xml: Replace http by https in DOCTYPE element
38b155f
Ulrich Müller
committed on 2021-09-11 13:22:48 UTC