.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

pkgbase = petrify
	pkgdesc = A tool for synthesis of Petri Nets and asynchronous circuits
	pkgver = 5.2
	pkgrel = 1
	url = http://www.lsi.upc.edu/~jordicf/petrify/distrib/home.html
	arch = i686
	arch = x86_64
	license = custom
	optdepends = graphviz
	source = http://www.lsi.upc.edu/~jordicf/petrify/distrib/petrify-5.2-linux.tar.gz
	source = LICENSE
	md5sums = 598ffbb5b830e68d43c1fbb70794951d
	md5sums = 4b563c944fa6b67cc03d21ab3c25212e

pkgname = petrify