Search Criteria
Package Details: petrify 5.2-1
Git Clone URL: | https://aur.archlinux.org/petrify.git (read-only, click to copy) |
---|---|
Package Base: | petrify |
Description: | A tool for synthesis of Petri Nets and asynchronous circuits |
Upstream URL: | http://www.lsi.upc.edu/~jordicf/petrify/distrib/home.html |
Keywords: | asycnhronous petri petrify synthesis |
Licenses: | |
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
Hi!
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
@archme
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.