diff options
Diffstat (limited to 'sci-mathematics/gappa/metadata.xml')
-rw-r--r-- | sci-mathematics/gappa/metadata.xml | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/sci-mathematics/gappa/metadata.xml b/sci-mathematics/gappa/metadata.xml deleted file mode 100644 index 448d16798..000000000 --- a/sci-mathematics/gappa/metadata.xml +++ /dev/null @@ -1,15 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <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. -</longdescription> -</pkgmetadata> |