diff options
author | Jonathan-Christofer Demay <jcdemay@gmail.com> | 2010-07-04 12:15:54 +0000 |
---|---|---|
committer | Jonathan-Christofer Demay <jcdemay@gmail.com> | 2010-07-04 12:15:54 +0000 |
commit | 05e402d65ecd78d165b5d36f9a47a61c024e5f86 (patch) | |
tree | 9b694d9a6321b62ae5065de8de52358047f61518 /sci-mathematics | |
parent | sci-mathematics/gappalib-coq: Version bump 0.13 (diff) | |
download | sci-05e402d65ecd78d165b5d36f9a47a61c024e5f86.tar.gz sci-05e402d65ecd78d165b5d36f9a47a61c024e5f86.tar.bz2 sci-05e402d65ecd78d165b5d36f9a47a61c024e5f86.zip |
sci-mathematics/pff: QA fixes
Diffstat (limited to 'sci-mathematics')
-rw-r--r-- | sci-mathematics/pff/ChangeLog | 8 | ||||
-rw-r--r-- | sci-mathematics/pff/Manifest | 2 | ||||
-rw-r--r-- | sci-mathematics/pff/metadata.xml | 14 |
3 files changed, 24 insertions, 0 deletions
diff --git a/sci-mathematics/pff/ChangeLog b/sci-mathematics/pff/ChangeLog new file mode 100644 index 000000000..78e74dc92 --- /dev/null +++ b/sci-mathematics/pff/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/pff/Manifest b/sci-mathematics/pff/Manifest index c8baca3e2..761031a66 100644 --- a/sci-mathematics/pff/Manifest +++ b/sci-mathematics/pff/Manifest @@ -1,2 +1,4 @@ DIST Float8.2-1.2.tgz 322949 RMD160 5ef8a68e4c10d8cffe4cd8d3eb5d5d2c1394fb60 SHA1 ab9b01cf953e32c100ed21e9980adf68553aaed1 SHA256 df61debf5afb2cbf44be6a605622b1645ba07be1912bb154ef79009d7eb235b2 EBUILD pff-8.2.1.2.ebuild 754 RMD160 9b5756e657d7c9a2fb44b089e282285f7cedf496 SHA1 c109b256d784a95f40acfec7e4c393104a9e4279 SHA256 9160ba0f01b3e83f8c4af08980d371f6fa1e7d8ccde68b1162829b91c912ea99 +MISC ChangeLog 204 RMD160 35c1255145b1a1575732282e5e17444c9684441c SHA1 57c5de34ab157b8995b3d6ff2fb4c7e3bb50195c SHA256 0c07aa2c6f57dd4a072dd8999d004e60c793c2b1bba662b396647fec03aeac60 +MISC metadata.xml 497 RMD160 c5e6a8eb0b3db8e1ebd6545bc94ae10fc07411c4 SHA1 267286d8696a8eb1163a3e79917c4bc5626f0cee SHA256 3ba778defe74a0a683099bd44b6f279b64bd6860c0c9ea53b5be8bb60c1b4340 diff --git a/sci-mathematics/pff/metadata.xml b/sci-mathematics/pff/metadata.xml new file mode 100644 index 000000000..edab690a5 --- /dev/null +++ b/sci-mathematics/pff/metadata.xml @@ -0,0 +1,14 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <herd>sci</herd> + <longdescription> + PFF (Preuves Formelles sur les Flottants = Formal Proofs about Floats) + is a repository of a Coq library about floating-point arithmetic. It + contains both definitions and proofs of basic facts, old and new + properties and algorithms. + </longdescription> + <maintainer> + <email>sci@gentoo.org</email> + </maintainer> +</pkgmetadata> |