diff options
| author |   Jonathan-Christofer Demay <jcdemay@gmail.com> | 2010-07-03 16:23:38 +0000 |
|---|---|---|
| committer | Jonathan-Christofer Demay <jcdemay@gmail.com> | 2010-07-03 16:23:38 +0000 |
| commit | 7fd24620eb996be2ae5f435e545969d0addd2015 (patch) | |
| tree | f9d59bcf206ba598c6df545e7f6be78a1f0373ab /sci-mathematics/apron | |
| parent | dev-ml/mlgmpid: mpfr-3.0.0 compatibility (diff) | |
| download | sci-7fd24620eb996be2ae5f435e545969d0addd2015.tar.gz sci-7fd24620eb996be2ae5f435e545969d0addd2015.tar.bz2 sci-7fd24620eb996be2ae5f435e545969d0addd2015.zip | |
sci-mathematics/apron: QA fixes
Diffstat (limited to 'sci-mathematics/apron')
| -rw-r--r-- | sci-mathematics/apron/ChangeLog | 8 | ||||
| -rw-r--r-- | sci-mathematics/apron/metadata.xml | 18 |
2 files changed, 26 insertions, 0 deletions
diff --git a/sci-mathematics/apron/ChangeLog b/sci-mathematics/apron/ChangeLog new file mode 100644 index 000000000..c0a58b703 --- /dev/null +++ b/sci-mathematics/apron/ChangeLog @@ -0,0 +1,8 @@ +# ChangeLog for dev-ml/mlgmpidl +# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2 +# $Header: $ + + 03 Jul 2010; J.-C. Demay <jcdemay@gmail.com> + +metadata.xml, +ChangeLog: + QA fixes + diff --git a/sci-mathematics/apron/metadata.xml b/sci-mathematics/apron/metadata.xml new file mode 100644 index 000000000..ed2324339 --- /dev/null +++ b/sci-mathematics/apron/metadata.xml @@ -0,0 +1,18 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <herd>sci</herd> + <longdescription> + The APRON library is dedicated to the static analysis of the numerical + variables of a program by Abstract Interpretation. The aim of such an + analysis is to infer invariants about these variables. The APRON library + is intended to be a common interface to various underlying + libraries/abstract domains and to provide additional services that can + be implemented independently from the underlying library/abstract + domain, as shown by the poster on the right (presented at the SAS 2007 + conference. + </longdescription> + <maintainer> + <email>sci@gentoo.org</email> + </maintainer> +</pkgmetadata> |