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
Atom feed
Commits on 2024-06-28
*/*: Reassign marecki's packages
34744df
Michał Górny
committed on 2024-06-28 11:12:17 UTC
sci-mathematics/spin/metadata.xml
Commits on 2022-12-02
Move {virtual -> app-alternatives}/yacc
02b17c9
Sam James
committed on 2022-12-02 21:09:48 UTC
sci-mathematics/spin/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
sci-mathematics/spin/files/spin-6.5.2-nesting_limit.patch
sci-mathematics/spin/spin-6.5.2-r1.ebuild
sci-mathematics/spin/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
sci-mathematics/spin/files/spin-6.5.2-makefile.patch
sci-mathematics/spin/spin-6.5.2.ebuild
sci-mathematics/spin/Manifest
sci-mathematics/spin/files/spin-6.5.1-makefile.patch
sci-mathematics/spin/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
sci-mathematics/spin/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
sci-mathematics/spin/files/spin-6.5.1-makefile.patch
sci-mathematics/spin/spin-6.5.1.ebuild
sci-mathematics/spin/Manifest
sci-mathematics/spin/files/spin-6.4.5-makefile.patch
sci-mathematics/spin/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
sci-mathematics/spin/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
sci-mathematics/spin/metadata.xml
Commits on 2021-04-18
sci-mathematics/spin: eutils->epatch
325ccb8
Sam James
committed on 2021-04-18 06:04:09 UTC
sci-mathematics/spin/spin-6.4.5.ebuild
Commits on 2018-03-29
sci-mathematics/spin: Remove old
cd5b9f0
Harri Nieminen
authored
and
Michał Górny
committed on 2018-03-29 19:22:07 UTC
sci-mathematics/spin/Manifest
sci-mathematics/spin/files/spin-6.2.1-makefile.patch
sci-mathematics/spin/files/spin-6.2.5-makefile.patch
sci-mathematics/spin/spin-6.2.1.ebuild
sci-mathematics/spin/spin-6.2.3.ebuild
sci-mathematics/spin/spin-6.2.5.ebuild
Commits on 2017-12-10
sci-mathematics: Update Manifest hashes.
19b7ec1
Ulrich Müller
committed on 2017-12-10 11:03:50 UTC
sci-mathematics/spin/Manifest
Commits on 2017-05-02
sci-mathematics/spin: remove phajdan.jr from maintainers -> maintainer-needed
3ccd6f0
Pawel Hajdan, Jr
committed on 2017-05-02 10:36:49 UTC
sci-mathematics/spin/metadata.xml
Commits on 2017-02-28
Drop $Id$ per council decision in bug #611234.
61b861a
Robin H. Johnson
committed on 2017-02-28 19:50:50 UTC
sci-mathematics/spin/spin-6.2.1.ebuild
sci-mathematics/spin/spin-6.2.3.ebuild
sci-mathematics/spin/spin-6.2.5.ebuild
sci-mathematics/spin/spin-6.4.5.ebuild
Commits on 2017-02-03
sci-mathematics/spin: remove unused patch
8d3fe3f
Michael Mair-Keimberger (asterix)
authored
and
David Seifert
committed on 2017-02-03 08:03:34 UTC
sci-mathematics/spin/files/spin-6.0.1-makefile.patch
Commits on 2016-01-24
Set appropriate maintainer types in metadata.xml (GLEP 67)
8849b09
Michał Górny
committed on 2016-01-24 22:58:38 UTC
sci-mathematics/spin/metadata.xml
Commits on 2016-01-09
sci-mathematics/spin: version bump (6.4.5); now the license is BSD
4ab1ec4
Pawel Hajdan, Jr
committed on 2016-01-09 12:00:49 UTC
sci-mathematics/spin/files/spin-6.4.5-makefile.patch
sci-mathematics/spin/spin-6.4.5.ebuild
sci-mathematics/spin/Manifest
Commits on 2015-09-23
Update hashes in Manifest
676783e
Justin Lecher
committed on 2015-09-23 15:27:33 UTC
sci-mathematics/spin/Manifest
Commits on 2015-08-24
Revert DOCTYPE SYSTEM https changes in metadata.xml
1bfb585
Mike Gilbert
committed on 2015-08-24 20:30:34 UTC
sci-mathematics/spin/metadata.xml
Use https by default
eaaface
Justin Lecher
committed on 2015-08-24 10:49:19 UTC
sci-mathematics/spin/metadata.xml
Commits on 2015-08-09
proj/gentoo: Initial commit
56bd759
Robin H. Johnson
committed on 2015-08-09 00:38:18 UTC
sci-mathematics/spin/Manifest
sci-mathematics/spin/files/spin-6.0.1-makefile.patch
sci-mathematics/spin/files/spin-6.2.1-makefile.patch
sci-mathematics/spin/files/spin-6.2.5-makefile.patch
sci-mathematics/spin/metadata.xml
sci-mathematics/spin/spin-6.2.1.ebuild
sci-mathematics/spin/spin-6.2.3.ebuild
sci-mathematics/spin/spin-6.2.5.ebuild