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-electronics
/
petrify
Synthesize Petri nets into asynchronous circuits
http://www.lsi.upc.edu/~jordicf/petrify/
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
Commits on Sep 22, 2022
sci-electronics/petrify: use PV in SRC_URI
afee758
Sam James
committed on 22 Sep 2022 04:05:23
petrify-4.2-r1.ebuild
Commits on Sep 11, 2021
**/metadata.xml: Replace http by https in DOCTYPE element
38b155f
Ulrich Müller
committed on 11 Sep 2021 13:22:48