diff options
Diffstat (limited to 'sci-mathematics/gappa/metadata.xml')
| -rw-r--r-- | sci-mathematics/gappa/metadata.xml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/sci-mathematics/gappa/metadata.xml b/sci-mathematics/gappa/metadata.xml index 872d5ad20..448d16798 100644 --- a/sci-mathematics/gappa/metadata.xml +++ b/sci-mathematics/gappa/metadata.xml @@ -6,10 +6,10 @@ <name>Gentoo Mathematics Project</name> </maintainer> <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. +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> |