diff options
Diffstat (limited to 'sci-mathematics/gappa/metadata.xml')
-rw-r--r-- | sci-mathematics/gappa/metadata.xml | 22 |
1 files changed, 8 insertions, 14 deletions
diff --git a/sci-mathematics/gappa/metadata.xml b/sci-mathematics/gappa/metadata.xml index 5f9d1b74f..2b01d6b84 100644 --- a/sci-mathematics/gappa/metadata.xml +++ b/sci-mathematics/gappa/metadata.xml @@ -1,18 +1,12 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <herd>sci</herd> - <longdescription> - Gappa is a tool intended to help verifying and formally proving - properties on numerical programs dealing with floating-point or - fixed-point arithmetic. It has been used to write robust floating-point - filters for CGAL and it is used to certify elementary functions in - CRlibm. - </longdescription> - <maintainer> - <email>sci@gentoo.org</email> - </maintainer> - <use> - <flag name="doc">?doc?</flag> - </use> +<herd>sci-mathematics</herd> +<longdescription> + Gappa is a tool intended to help verifying and formally proving + properties on numerical programs dealing with floating-point or + fixed-point arithmetic. It has been used to write robust floating-point + filters for CGAL and it is used to certify elementary functions in + CRlibm. +</longdescription> </pkgmetadata> |