{"bugs":[{"bugid":832747,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-electronics\/petrify-4.2-r1 installs files with unresolved SONAME dependencies"}],"categories":[{"categoryid":354,"name":"media-gfx","summary":"The media-gfx category contains graphics-related packages."},{"categoryid":385,"name":"sci-electronics","summary":"The sci-electronics category contains electronics packages."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"494e6f6f6078f5607d4fbe9ccf82f9778e11dd81","committime":"2022-09-22T04:16:49","packageid":52477,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Avoids mistakes on bumping and why not?\n\nSigned-off-by: Sam James ","commitid":"afee7580b2145934c2aeb6753f52b0e53696f55f","committime":"2022-09-22T03:42:33","packageid":52477,"repoid":1,"summary":"sci-electronics\/petrify: use PV in SRC_URI"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3d4eaa9a9790c5956e454eda213b853490da09f7","committime":"2021-08-22T19:51:19","packageid":52477,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jakov.smolic@sartura.hr","authorname":"Jakov Smolic","body":"Signed-off-by: Jakov Smolic \nSigned-off-by: David Seifert ","commitid":"0cf96625aabd37d4e3f151a99aecee3135b0f627","committime":"2021-08-22T19:37:22","packageid":52477,"repoid":1,"summary":"sci-electronics\/petrify: Port to EAPI 8"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"78382e2e65cf36004525fb8bfcaccf1cc24375b8","committime":"2020-02-22T21:36:22","packageid":52477,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"soap@gentoo.org","authorname":"David Seifert","body":"Signed-off-by: David Seifert ","commitid":"3b8cba93fab70dd0fa89cebdd4b37c732580e9ac","committime":"2020-02-22T21:07:26","packageid":52477,"repoid":1,"summary":"*\/*: [QA] Use consistent function definition formatting"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"25093d6359f778b8d1052f66ba9e26fc29ded21a","committime":"2017-02-28T20:35:29","packageid":52477,"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":52477,"repoid":1,"summary":"Drop $Id$ per council decision in bug #611234."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"945f0d2a26da4f944fd06ad6a874f69d37ce1e06","committime":"2015-08-09T09:26:46","packageid":52477,"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":52477,"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":52477,"repoid":1,"summary":"2015-06-19 16:35:30 UTC"}],"dependencies":[],"depending":[],"ebuilds":[{"archs":["~amd64","~x86"],"ebuildid":475393,"firstseen":"2013-01-18T14:35:19.906131","license":"Old-MIT","moddate":"2022-09-22T04:23:19","packageid":52477,"repoid":1,"slot":"0","uses":[],"version":"4.2-r1"}],"masks":[],"package":{"categoryid":385,"description":"Synthesize Petri nets into asynchronous circuits","firstseen":"2010-05-04T00:54:45.661860","maintainer":"sci-electronics@gentoo.org","maintainername":"Gentoo Electronics Project","name":"petrify","packageid":52477,"summary":"Petrify is a tool for synthesis of Petri nets and asynchronous controllers. Petrify is able to obtain Petri nets with some specific properties: pure, free choice, unique choice, place irredundant, etc... The Petri nets accepted by petrify can also be interpreted as Signal Transition Graphs describing the behavior of asynchronous controllers. Petrify is able to solve the Complete State Coding problem and generate a speed-independent circuit."},"rdependencies":[{"block":false,"categoryid":354,"description":"Open Source Graph Visualization Software","ebuildids":[475393],"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"}],"repos":[{"branch":"master","lastcommit":"82366aa45a35f6900f43023917c2c86ccdbb00a3","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["http:\/\/www.lsi.upc.edu\/~jordicf\/petrify\/"],"uses":[]}