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 (UTC)
Last Updated: 2019-06-07 16:33 (UTC)

Latest Comments

gagarski commented on 2019-06-07 12:46 (UTC)


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 (UTC)

@archme Fixed, thanks.

archme commented on 2017-01-27 09:44 (UTC)

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

<deleted-account> commented on 2014-07-03 12:18 (UTC)

tinydb 1.4.0 is out

fab31 commented on 2014-07-03 12:09 (UTC)

tinydb 1.3.0 is out.