{"bugs":[],"categories":[{"categoryid":450,"name":"dev-lang","summary":"The dev-lang category contains various programming language implementations and related tools."},{"categoryid":354,"name":"media-gfx","summary":"The media-gfx category contains graphics-related packages."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."},{"categoryid":380,"name":"sys-devel","summary":"The sys-devel category contains various core system development tools and libraries."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"456807b4f63304105908d55bfcee42dc6e2004f2","committime":"2022-12-02T21:31:43","packageid":48982,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"02b17c9bb64e147affc4acecaa0ff4151b2329bf","committime":"2022-12-02T04:19:46","packageid":48982,"repoid":1,"summary":"Move {virtual -> app-alternatives}\/yacc"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9c7ea104d2536c3704175b157d3ca64976884fa5","committime":"2022-01-16T09:06:41","packageid":48982,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"marecki@gentoo.org","authorname":"Marek Szuba","body":"Closes: https:\/\/bugs.gentoo.org\/831220\nSigned-off-by: Marek Szuba ","commitid":"69c2ae786d9151a8358198a73a8bcd0583ac9a1f","committime":"2022-01-16T08:56:16","packageid":48982,"repoid":1,"summary":"sci-mathematics\/spin: backport upstream fix for CVE-2021-46168"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"bb4f76ca770c84e6bf03d864cbabdd7336125e83","committime":"2021-11-27T23:21:21","packageid":48982,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"marecki@gentoo.org","authorname":"Marek Szuba","body":"Somehow I completely missed that version in spite of it having been\nreleased only days after 6.5.1.\n\nSigned-off-by: Marek Szuba ","commitid":"57aaaf4b289de17113c21b5dd890b5b6e7cbe6c7","committime":"2021-11-27T22:58:26","packageid":48982,"repoid":1,"summary":"sci-mathematics\/spin: add 6.5.2, drop 6.5.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"118987f4d817b2be929ff9ea358ddfd0d6dfd518","committime":"2021-11-26T23:06:25","packageid":48982,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"marecki@gentoo.org","authorname":"Marek Szuba","body":"Signed-off-by: Marek Szuba ","commitid":"bb6e655e73019e2ed506903e4609dc212bcf6eaf","committime":"2021-11-26T22:46:04","packageid":48982,"repoid":1,"summary":"sci-mathematics\/spin: add 6.5.1, remove 6.4.5"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"fdfdf77044d3ef5e2c5e157f7745f8f58d77ab8e","committime":"2021-11-22T03:21:27","packageid":48982,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"alex.fan.q@gmail.com","authorname":"Alex Fan","body":"Signed-off-by: Alex Fan \nSigned-off-by: Yixun Lan ","commitid":"347c47c8a188cb1ab69e92af01b1d70d3a5fa7b0","committime":"2021-11-18T07:18:17","packageid":48982,"repoid":1,"summary":"sci-mathematics\/spin: keyword 6.4.5 for ~riscv"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1dff16feef2bb9d2ccf6e0e5f2a4f87e02f7a94d","committime":"2021-04-18T06:22:06","packageid":48982,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Package-Manager: Portage-3.0.14-prefix, Repoman-3.0.2\nSigned-off-by: Sam James ","commitid":"325ccb8bc53380864ebe879cd2c8178b78f48b5d","committime":"2021-04-16T13:59:30","packageid":48982,"repoid":1,"summary":"sci-mathematics\/spin: eutils->epatch"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"9d0981691ed524a5c55456a2cf1828a25e428325","committime":"2018-03-29T19:33:16","packageid":48982,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"moikkis@gmail.com","authorname":"Harri Nieminen","body":"Closes: https:\/\/github.com\/gentoo\/gentoo\/pull\/7646\nPackage-Manager: Portage-2.3.24, Repoman-2.3.6","commitid":"cd5b9f0e04cde405529db99df0ff76fb3ae47fbe","committime":"2018-03-27T15:17:04","packageid":48982,"repoid":1,"summary":"sci-mathematics\/spin: Remove old"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"25093d6359f778b8d1052f66ba9e26fc29ded21a","committime":"2017-02-28T20:35:29","packageid":48982,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"robbat2@gentoo.org","authorname":"Robin H. Johnson","body":"Signed-off-by: Robin H. Johnson ","commitid":"61b861acd7b49083dab687e133f30f3331cb7480","committime":"2017-02-28T19:47:27","packageid":48982,"repoid":1,"summary":"Drop $Id$ per council decision in bug #611234."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"63e328d18d09194082155d9c64ceb1570d28d828","committime":"2016-01-09T12:22:18","packageid":48982,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"phajdan.jr@gentoo.org","authorname":"Pawel Hajdan, Jr","body":"Package-Manager: portage-2.2.20.1","commitid":"4ab1ec46b906ee138dabf798d8b48ed4a7fcd580","committime":"2016-01-09T11:59:54","packageid":48982,"repoid":1,"summary":"sci-mathematics\/spin: version bump (6.4.5); now the license is BSD"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"945f0d2a26da4f944fd06ad6a874f69d37ce1e06","committime":"2015-08-09T09:26:46","packageid":48982,"repoid":1,"summary":"2015-08-09 09:26:21 UTC"},{"authoremail":"robbat2@gentoo.org","authorname":"Robin H. Johnson","body":"This commit represents a new era for Gentoo:\nStoring the gentoo-x86 tree in Git, as converted from CVS.\n\nThis commit is the start of the NEW history.\nAny historical data is intended to be grafted onto this point.\n\nCreation process:\n1. Take final CVS checkout snapshot\n2. Remove ALL ChangeLog* files\n3. Transform all Manifests to thin\n4. Remove empty Manifests\n5. Convert all stale $Header$\/$Id$ CVS keywords to non-expanded Git $Id$\n5.1. Do not touch files with -kb\/-ko keyword flags.\n\nSigned-off-by: Robin H. Johnson \nX-Thanks: Alec Warner - did the GSoC 2006 migration tests\nX-Thanks: Robin H. Johnson - infra guy, herding this project\nX-Thanks: Nguyen Thai Ngoc Duy - Former Gentoo developer, wrote Git features for the migration\nX-Thanks: Brian Harring - wrote much python to improve cvs2svn\nX-Thanks: Rich Freeman - validation scripts\nX-Thanks: Patrick Lauer - Gentoo dev, running new 2014 work in migration\nX-Thanks: Michał Górny - scripts, QA, nagging\nX-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed","commitid":"56bd759df1d0c750a065b8c845e93d5dfa6b549d","committime":"2015-08-08T20:49:04","packageid":48982,"repoid":1,"summary":"proj\/gentoo: Initial commit"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"a637bd65b7fef8e2be4e7fc6e9097479372e0e2e","committime":"2015-06-19T16:38:33","packageid":48982,"repoid":1,"summary":"2015-06-19 16:35:30 UTC"}],"dependencies":[],"depending":[],"ebuilds":[{"archs":["~amd64","~riscv","~x86"],"ebuildid":736627,"firstseen":"2022-01-16T09:07:16.161841","license":"BSD","moddate":"2024-12-17T22:35:47","packageid":48982,"repoid":1,"slot":"0","uses":["doc","examples","graphviz","tk"],"version":"6.5.2-r1"}],"masks":[],"package":{"categoryid":317,"description":"An efficient logic-model checker for the verification of multi-threaded code","firstseen":"2010-05-04T00:54:45.661860","maintainer":"phajdan.jr@gentoo.org","maintainername":"Pawel Hajdan jr","name":"spin","packageid":48982},"rdependencies":[{"block":false,"categoryid":354,"description":"Open Source Graph Visualization Software","ebuildids":[736627],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"graphics@gentoo.org","maintainername":"Gentoo Graphics Project","name":"graphviz","packageid":53956,"summary":"graphviz is a set of graph drawing tools for Unix or MS-Windows (win32), including a web service interface (webdot). Source code and binary executables for common platforms are available. Graph drawing addresses the problem of visualizing structural information by constructing geometric representations of abstract graphs and networks. Automatic generation of graph drawings has important applications in key technologies such as database design, software engineering, VLSI and network design and visual interfaces in other domains. Situations where these tools might be particularly useful include: * you would like to restructure a program and first need to understand the relationships between its types, procedures, and source files. * you need to find the bottlenecks in an Internet backbone - not only individual links, but their relationships * you're debugging a protocol or microarchitecture represented as a finite state machine and need to figure out how a certain error state arises * you would like to browse a database schema, knowledge base, or distributed program represented pictorially * you would like to see an overview of a collection of linked documents * you would like to discover patterns and communities of interest in a database of telephone calls or e-mail messages"},{"block":false,"categoryid":380,"description":"The GNU Compiler Collection","ebuildids":[736627],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gcc","packageid":54038},{"block":false,"categoryid":450,"description":"Tk Widget Set","ebuildids":[736627],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"tcltk@gentoo.org","maintainername":"Gentoo Tcltk Project","name":"tk","packageid":54735}],"repos":[{"branch":"master","lastcommit":"fd939dd0f39e4ff5e5c9124625072fbea3d52c05","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/nimble-code\/Spin","https:\/\/spinroot.com\/"],"uses":[{"description":"Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally","isdefault":false,"use":"doc"},{"description":"Install examples, usually source code","isdefault":false,"use":"examples"},{"description":"Add support for the Graphviz library","isdefault":false,"use":"graphviz"},{"description":"Add support for Tk GUI toolkit","isdefault":false,"use":"tk"}]}