diff options
| author |   Denis Dupeyron <calchan@gentoo.org> | 2006-07-02 15:33:11 +0000 |
|---|---|---|
| committer | Denis Dupeyron <calchan@gentoo.org> | 2006-07-02 15:33:11 +0000 |
| commit | 2fcf8cea2a02302ae56281bc3f3efb199a45ee9b (patch) | |
| tree | 4688e8db4e3185e7d3f249f64c924add4475aba0 /sci-electronics | |
| parent | Adjusted metadata, see bug #138062. (diff) | |
| download | gentoo-2-2fcf8cea2a02302ae56281bc3f3efb199a45ee9b.tar.gz gentoo-2-2fcf8cea2a02302ae56281bc3f3efb199a45ee9b.tar.bz2 gentoo-2-2fcf8cea2a02302ae56281bc3f3efb199a45ee9b.zip | |
Adjusted metadata, see bug #138062.
(Portage version: 2.1.1_pre1-r5)
Diffstat (limited to 'sci-electronics')
| -rw-r--r-- | sci-electronics/petrify/ChangeLog | 7 | ||||
| -rw-r--r-- | sci-electronics/petrify/metadata.xml | 13 |
2 files changed, 15 insertions, 5 deletions
diff --git a/sci-electronics/petrify/ChangeLog b/sci-electronics/petrify/ChangeLog index b96d7303a23b..5b59d84bad7b 100644 --- a/sci-electronics/petrify/ChangeLog +++ b/sci-electronics/petrify/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for sci-electronics/petrify -# Copyright 1999-2005 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-electronics/petrify/ChangeLog,v 1.4 2005/09/16 15:04:00 ribosome Exp $ +# Copyright 1999-2006 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/sci-electronics/petrify/ChangeLog,v 1.5 2006/07/02 15:33:11 calchan Exp $ + + 02 Jul 2006; Denis Dupeyron <calchan@gentoo.org> metadata.xml: + Adjusted metadata, see bug #138062. 16 Sep 2005; Olivier Fisette <ribosome@gentoo.org> petrify-4.2.ebuild: Corrected HOMEPAGE and SRC_URI. Fixes bug #106108. diff --git a/sci-electronics/petrify/metadata.xml b/sci-electronics/petrify/metadata.xml index 3f9567f925a2..009f5fe8b915 100644 --- a/sci-electronics/petrify/metadata.xml +++ b/sci-electronics/petrify/metadata.xml @@ -2,8 +2,15 @@ <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer> - <email>chrb@gentoo.org</email> - <name>Chris Bainbridge</name> + <email>chrb@gentoo.org</email> + <name>Chris Bainbridge</name> </maintainer> - <longdescription>Synthesize Petri nets into asynchronous circuits</longdescription> + <longdescription> + Petrify is a tool for synthesis of Petri nets and asynchronous controllers. + Petrify is able to obtain Petri nets with some specific properties: pure, free + choice, unique choice, place irredundant, etc... The Petri nets accepted by + petrify can also be interpreted as Signal Transition Graphs describing the + behavior of asynchronous controllers. Petrify is able to solve the Complete + State Coding problem and generate a speed-independent circuit. + </longdescription> </pkgmetadata> |