diff options
author | Jonathan-Christofer Demay <jcdemay@gmail.com> | 2010-07-04 11:16:23 +0000 |
---|---|---|
committer | Jonathan-Christofer Demay <jcdemay@gmail.com> | 2010-07-04 11:16:23 +0000 |
commit | bc383333ab0d57df613e44dceb17db6add860e7e (patch) | |
tree | cab1580bb78d645a94654df47cdb28bf4f86f729 /sci-mathematics | |
parent | sci-mathematics/apron: building process fixed for the latest sources (diff) | |
download | sci-bc383333ab0d57df613e44dceb17db6add860e7e.tar.gz sci-bc383333ab0d57df613e44dceb17db6add860e7e.tar.bz2 sci-bc383333ab0d57df613e44dceb17db6add860e7e.zip |
sci-mathematics/gappa: QA fixes
Diffstat (limited to 'sci-mathematics')
-rw-r--r-- | sci-mathematics/gappa/ChangeLog | 8 | ||||
-rw-r--r-- | sci-mathematics/gappa/Manifest | 2 | ||||
-rw-r--r-- | sci-mathematics/gappa/metadata.xml | 15 |
3 files changed, 25 insertions, 0 deletions
diff --git a/sci-mathematics/gappa/ChangeLog b/sci-mathematics/gappa/ChangeLog new file mode 100644 index 000000000..78e74dc92 --- /dev/null +++ b/sci-mathematics/gappa/ChangeLog @@ -0,0 +1,8 @@ +# ChangeLog for dev-ml/mlgmpidl +# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2 +# $Header: $ + + 04 Jul 2010; J.-C. Demay <jcdemay@gmail.com> + +metadata.xml, +ChangeLog: + QA fixes + diff --git a/sci-mathematics/gappa/Manifest b/sci-mathematics/gappa/Manifest index 599cd7f09..d602b9805 100644 --- a/sci-mathematics/gappa/Manifest +++ b/sci-mathematics/gappa/Manifest @@ -1,2 +1,4 @@ DIST gappa-0.12.1.tar.gz 250015 RMD160 0809d73801636ee649324f951db72c58bb74a65a SHA1 b01ba7bf5e915b5c0f25eb34ad6a52e4ede09b10 SHA256 287c9ba0186319a1e7e353fa7955ffaf1f1f13941d2605d4ca078b8f260e13cd EBUILD gappa-0.12.1.ebuild 1252 RMD160 07b6f9ebd53577782874a19d8be3f4f9f47e56b0 SHA1 52442054367577d353e911bb0cf232e4dc74813e SHA256 32ecf0d85f3e052cb0ba4f9b3661107305ff2d8fcc5d1abec7583d2dd8cd71c6 +MISC ChangeLog 204 RMD160 35c1255145b1a1575732282e5e17444c9684441c SHA1 57c5de34ab157b8995b3d6ff2fb4c7e3bb50195c SHA256 0c07aa2c6f57dd4a072dd8999d004e60c793c2b1bba662b396647fec03aeac60 +MISC metadata.xml 542 RMD160 9e7e7c72c403c90ed49ad797d4810b3cdef4b1d1 SHA1 e164614670cda7a42656824856e56297e5b4e85a SHA256 3ec0a6e959d961e8eb7c8a357c7cdd563c4fcff7ed717b2d7c734c76fa0b7cd7 diff --git a/sci-mathematics/gappa/metadata.xml b/sci-mathematics/gappa/metadata.xml new file mode 100644 index 000000000..b9102d9f2 --- /dev/null +++ b/sci-mathematics/gappa/metadata.xml @@ -0,0 +1,15 @@ +<?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> +</pkgmetadata> |