35465 – petrify-4.2 (new package)

Bug 35465 - petrify-4.2 (new package)

Summary: petrify-4.2 (new package)

Status:	RESOLVED FIXED

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	New packages (show other bugs)
Hardware:	All All

Importance:	High enhancement (vote)
Assignee:	Gentoo Science Related Packages

URL:	http://www.lsi.upc.es/~jordic/petrify/
Whiteboard:
Keywords:	EBUILD

Depends on:
Blocks:

Reported:	2003-12-09 11:11 UTC by Chris Bainbridge (RETIRED)
Modified:	2004-07-23 06:48 UTC (History)
CC List:	0 users

See Also:
Package list:
Runtime testing required:	---

Attachments
app-sci/petrify/petrify-4.2.ebuild (petrify-4.2.ebuild,795 bytes, text/plain) 2003-12-09 11:12 UTC, Chris Bainbridge (RETIRED)	Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Chris Bainbridge (RETIRED) gentoo-dev

2003-12-09 11:11:54 UTC

Petrify is a tool for synthesis of Petri nets and asynchronous controllers

Comment 1 Chris Bainbridge (RETIRED) gentoo-dev

2003-12-09 11:12:41 UTC

Created attachment 21939 [details]
app-sci/petrify/petrify-4.2.ebuild

Comment 2 Chris Bainbridge (RETIRED) gentoo-dev

2004-07-23 06:48:53 UTC

done.