changeset 144 | d88a40b2e6d7 |
140:b7d812116bbc | 144:d88a40b2e6d7 |
---|---|
1 <?xml version="1.0" encoding="UTF-8"?> |
|
2 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> |
|
3 <pkgmetadata> |
|
4 <maintainer> |
|
5 <email>tamino@cdauth.eu</email> |
|
6 <name>Tamino Dauth</name> |
|
7 </maintainer> |
|
8 <longdescription lang="en"> |
|
9 Programmable tool for verification, analysis and transformation of C++ source code. |
|
10 </longdescription> |
|
11 </pkgmetadata> |