Package Details: petrify 5.2-1

Git Clone URL: (read-only, click to copy)
Package Base: petrify
Description: A tool for synthesis of Petri Nets and asynchronous circuits
Upstream URL:
Keywords: asycnhronous petri petrify synthesis
Licenses: custom
Submitter: gagarski
Maintainer: not_schur
Last Packager: not_schur
Votes: 4
Popularity: 0.000000
First Submitted: 2012-10-31 09:27
Last Updated: 2019-06-07 16:33

Latest Comments

gagarski commented on 2019-06-07 12:46


I am no longer interested in maintaining this package so I dropped it. I transferred the ownership to @not_schur (hope you're not against it:)).

gagarski commented on 2017-01-30 10:16


Fixed, thanks.

archme commented on 2017-01-27 09:44

hi, got an error building the package:
"Make sure that .SRCINFO and PKGBUILD do not contain conflicting information."

I took a look into both files. .SRCINFO contains pkgrel=3, PKGBUILD instead contains pkgrel=4.

Grabbing a git clone, fixing .SRCINFO by setting pkgrel=4 and running makepkg -si works for me to get the package installed

Anonymous comment on 2014-07-03 12:18

tinydb 1.4.0 is out

gagarski commented on 2014-07-03 12:12

So what?

fab31 commented on 2014-07-03 12:09

tinydb 1.3.0 is out.