diff options
| author | Liguros - Gitlab CI/CD [develop] <gitlab@liguros.net> | 2021-07-20 19:38:18 +0000 |
|---|---|---|
| committer | Liguros - Gitlab CI/CD [develop] <gitlab@liguros.net> | 2021-07-20 19:38:18 +0000 |
| commit | 4d8488e437e1c714d9e4c896b416d13affee1f2c (patch) | |
| tree | f43a5b648a7221376c6f011476c5e0d7fa2d5771 /sci-electronics/petrify | |
| parent | 5529d400f8330da86451d880979b60352715abe9 (diff) | |
| download | baldeagleos-repo-4d8488e437e1c714d9e4c896b416d13affee1f2c.tar.gz baldeagleos-repo-4d8488e437e1c714d9e4c896b416d13affee1f2c.tar.xz baldeagleos-repo-4d8488e437e1c714d9e4c896b416d13affee1f2c.zip | |
Adding metadata
Diffstat (limited to 'sci-electronics/petrify')
| -rw-r--r-- | sci-electronics/petrify/metadata.xml | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/sci-electronics/petrify/metadata.xml b/sci-electronics/petrify/metadata.xml index 23c00cc7b2a6..a87750adb885 100644 --- a/sci-electronics/petrify/metadata.xml +++ b/sci-electronics/petrify/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="project"> - <email>sci-electronics@gentoo.org</email> - <name>Gentoo Electronics Project</name> - </maintainer> - <longdescription> + <maintainer type="project"> + <email>sci-electronics@gentoo.org</email> + <name>Gentoo Electronics Project</name> + </maintainer> + <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 @@ -13,6 +13,4 @@ behavior of asynchronous controllers. Petrify is able to solve the Complete State Coding problem and generate a speed-independent circuit. </longdescription> - - <origin>gentoo-staging</origin> -</pkgmetadata>
\ No newline at end of file +</pkgmetadata> |