Bug 35465 - petrify-4.2 (new package)
Bug#: 35465 Product:  Gentoo Linux Version: unspecified Platform: All
OS/Version: All Status: RESOLVED Severity: enhancement Priority: P2
Resolution: FIXED Assigned To: sci@gentoo.org Reported By: chrb@gentoo.org
Component: Ebuilds
URL:  http://www.lsi.upc.es/~jordic/petrify/
Summary: petrify-4.2 (new package)
Keywords:  EBUILD
Status Whiteboard: 
Opened: 2003-12-09 11:11 0000
Description:   Opened: 2003-12-09 11:11 0000 
Petrify is a tool for synthesis of Petri nets and asynchronous controllers

------- Comment #1 From Chris Bainbridge (RETIRED) 2003-12-09 11:12:41 0000 ------- 
Created an attachment (id=21939) [details]
app-sci/petrify/petrify-4.2.ebuild

------- Comment #2 From Chris Bainbridge (RETIRED) 2004-07-23 06:48:53 0000 ------- 
done.