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 | dde48f34188523067bd7aefcc4e4b4e4136e323d (patch) | |
| tree | 2de3290915bc7e0ecc10e2b604614fb605c827d1 /sci-electronics | |
| parent | Adjusted metadata, see bug #138062. (diff) | |
| download | historical-dde48f34188523067bd7aefcc4e4b4e4136e323d.tar.gz historical-dde48f34188523067bd7aefcc4e4b4e4136e323d.tar.bz2 historical-dde48f34188523067bd7aefcc4e4b4e4136e323d.zip | |
Adjusted metadata, see bug #138062.
Package-Manager: portage-2.1.1_pre1-r5
Diffstat (limited to 'sci-electronics')
| -rw-r--r-- | sci-electronics/petrify/ChangeLog | 7 | ||||
| -rw-r--r-- | sci-electronics/petrify/Manifest | 16 | ||||
| -rw-r--r-- | sci-electronics/petrify/metadata.xml | 13 |
3 files changed, 29 insertions, 7 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/Manifest b/sci-electronics/petrify/Manifest index a334783418c8..6543749fe791 100644 --- a/sci-electronics/petrify/Manifest +++ b/sci-electronics/petrify/Manifest @@ -1,4 +1,16 @@ +DIST petrify-4.2-linux.tgz 1117093 +EBUILD petrify-4.2.ebuild 870 RMD160 6c5a9fe56a56ba07fcd5ca62f7e475b2ec2921ed SHA1 6b9ae171807033fae2fecad450efa03c0bd02aee SHA256 e13387bc8e4af3ddafa8a9d65aaf9243d5a277b824b00623612a91ba6431b79c MD5 683bd07a0d71968e985c82411274b9d1 petrify-4.2.ebuild 870 -MD5 927a37806483d0d86a154c87e224484b ChangeLog 778 -MD5 dd79fa36934b6688f882db778cfbb46c metadata.xml 337 +RMD160 6c5a9fe56a56ba07fcd5ca62f7e475b2ec2921ed petrify-4.2.ebuild 870 +SHA256 e13387bc8e4af3ddafa8a9d65aaf9243d5a277b824b00623612a91ba6431b79c petrify-4.2.ebuild 870 +MISC ChangeLog 881 RMD160 31aec61d4789bdfbe2738c276fa35ff48704e6f4 SHA1 25847c3ad5d6ab72b728684c25fd81e8a87831d3 SHA256 b4878375bff95bde8576e1c7d80304eeb28648df554b0240c69541ab6a053e86 +MD5 be7b8ff9699b9d3f0ea8f18d4c4622ba ChangeLog 881 +RMD160 31aec61d4789bdfbe2738c276fa35ff48704e6f4 ChangeLog 881 +SHA256 b4878375bff95bde8576e1c7d80304eeb28648df554b0240c69541ab6a053e86 ChangeLog 881 +MISC metadata.xml 737 RMD160 cd924f6a953a62dfbcc8f9c833bbd3fef6e44732 SHA1 737380b311d68dac3645ed6ba3a8e068a44bf438 SHA256 ed79b1b215cf49a031fad68a2bb1d6b6305ef5f37efda4f44e76f883cca02e29 +MD5 032d310c5d1399b8331f685123d0715c metadata.xml 737 +RMD160 cd924f6a953a62dfbcc8f9c833bbd3fef6e44732 metadata.xml 737 +SHA256 ed79b1b215cf49a031fad68a2bb1d6b6305ef5f37efda4f44e76f883cca02e29 metadata.xml 737 MD5 0467469170b6ef7ae8aff2608689200b files/digest-petrify-4.2 67 +RMD160 1a92d006aeef3251ddaad60926be7d59f5a9d75f files/digest-petrify-4.2 67 +SHA256 b50fdef71519768fa2c63dbed9d054d9feb520f45373cea299d94b789c761bf2 files/digest-petrify-4.2 67 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> |