diff options
| author |   Jonathan-Christofer Demay <jcdemay@gmail.com> | 2012-05-14 00:06:04 +0000 |
|---|---|---|
| committer | Jonathan-Christofer Demay <jcdemay@gmail.com> | 2012-05-14 00:06:04 +0000 |
| commit | 8898b49a90c8b4d38a3a8f4523a6d074e82dba97 (patch) | |
| tree | b711a4e132ee5b228146ee940106f42966df16dc /sci-mathematics | |
| parent | [dev-python/cosmocalc] bump to eapi4, allow multiple python abis, call 2to3 f... (diff) | |
| download | sci-8898b49a90c8b4d38a3a8f4523a6d074e82dba97.tar.gz sci-8898b49a90c8b4d38a3a8f4523a6d074e82dba97.tar.bz2 sci-8898b49a90c8b4d38a3a8f4523a6d074e82dba97.zip | |
sci-mathematics/flocq: Various QA fixes
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/apron/Manifest | 5 | ||||
| -rw-r--r-- | sci-mathematics/flocq/ChangeLog | 5 | ||||
| -rw-r--r-- | sci-mathematics/flocq/Manifest | 3 | ||||
| -rw-r--r-- | sci-mathematics/flocq/flocq-1.4.0.ebuild | 8 |
4 files changed, 12 insertions, 9 deletions
diff --git a/sci-mathematics/apron/Manifest b/sci-mathematics/apron/Manifest index dae7d219a..491166b28 100644 --- a/sci-mathematics/apron/Manifest +++ b/sci-mathematics/apron/Manifest @@ -1 +1,4 @@ -DIST apron-0.9.10.tgz 1694989 SHA256 b108de2f4a8c4ecac1ff76a6d282946fd3bf1466a126cf5344723955f305ec8e SHA512 9b84bf6b5d34ee34558e8224ecd09d48ff2013b7a301a8749512aaea8b8c99da394bb0550055b9bc37692187ca8956bf25e74535c1d41ac1907e161163bc6e8a WHIRLPOOL 5a3eef9ae6387a55f898fdb336a41ccb64a0ea628a8992c2adce28a7168de549c17816f9313f06561d29d512a9ce90ad3b39ddbd76559421a107d0088b4c8279 +DIST apron-0.9.10.tgz 1694989 RMD160 44dc11b4dea380bd0422fdbf541a9083737b6fc0 SHA1 0e0d857bd646de6a8b16e60d80b06f48a62c51df SHA256 b108de2f4a8c4ecac1ff76a6d282946fd3bf1466a126cf5344723955f305ec8e +EBUILD apron-0.9.10.ebuild 2433 RMD160 17c0844fb21a0abac0e321a53b0d3d5ac89b22af SHA1 bcb5c53b357ef1f5202646fb38e1a414eb87fd7d SHA256 5a2f2cec08bb549e1163029181587a466e5e174f8004992322143737a5ed8323 +MISC ChangeLog 715 RMD160 00614bd947614ad4566a307c9ff67c8e61feb2c5 SHA1 4d5924907ecce3b95f7eda268114dd4eb25eea8d SHA256 88c698ed4a8d23beffce00893633a60520ad266fca59f2596c1c02f3ce243aad +MISC metadata.xml 864 RMD160 149c13d27bfcd69c0484e11229fee7f08ce99f70 SHA1 46542ae1284f7e094b4ce8bcba00a8be50839393 SHA256 b094cb1d058da18457e96645d3d8de045123d742add9bac42dae6b8e661c9110 diff --git a/sci-mathematics/flocq/ChangeLog b/sci-mathematics/flocq/ChangeLog index 3afd8eb94..28ee4ccf1 100644 --- a/sci-mathematics/flocq/ChangeLog +++ b/sci-mathematics/flocq/ChangeLog @@ -1,10 +1,7 @@ # ChangeLog for sci-mathematics/flocq -# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 +# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 # $Header: $ - 12 May 2012; Alexey Shvetsov <alexxy@gentoo.org> flocq-1.4.0.ebuild: - [sci-mathematics/flocq] Fix ebuild eapi parsing and other minor issues - 06 May 2011; J.-C. Demay <jcdemay@gmail.com> -flocq-1.2.ebuild, +flocq-1.4.0.ebuild: version bump diff --git a/sci-mathematics/flocq/Manifest b/sci-mathematics/flocq/Manifest index 39030fc48..7e2f8ba40 100644 --- a/sci-mathematics/flocq/Manifest +++ b/sci-mathematics/flocq/Manifest @@ -1 +1,4 @@ DIST flocq-1.4.0.tar.gz 129022 RMD160 04944a466bf1df71389eec5dbda0969b7c6f79c2 SHA1 bebe3cdbfb2308312c757f5205fc53d4a5c21954 SHA256 9cda6786f79bf4f826d0b48a5601c292a065472b31f3717bb0045ac6414ec023 +EBUILD flocq-1.4.0.ebuild 595 RMD160 e04f2a9fbcb8bfc4235c4a68cf98924532e12cdf SHA1 f5b631894ce1e17f37c8ede1f17136b076ed193e SHA256 366fc167f2d14eba6e1f141b26726a61081813f67df8f74c570ccced60030bdc +MISC ChangeLog 315 RMD160 8cebc4c880fd2bc3d090c717c708a36f22aedfc5 SHA1 e6a6b92aac62e84a66819614c26f18716a0e0504 SHA256 f73302279648b8d77b28273da4b0962cbedb4e7183fc146d775dc677faabde3b +MISC metadata.xml 497 RMD160 9a76fe39578db3ce4e7fcaaec6bcff9c38ff40ed SHA1 a7ba11329f3269f949be97f4f44ca7e4ea5a2d8d SHA256 888cc1091b03da5c749d586bccafc4eaa063c08a9273458b17026a6c8c91626a diff --git a/sci-mathematics/flocq/flocq-1.4.0.ebuild b/sci-mathematics/flocq/flocq-1.4.0.ebuild index 103b67ee8..56c8e2660 100644 --- a/sci-mathematics/flocq/flocq-1.4.0.ebuild +++ b/sci-mathematics/flocq/flocq-1.4.0.ebuild @@ -1,8 +1,8 @@ -# Copyright 1999-2012 Gentoo Foundation +# Copyright 1999-2011 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Header: $ -EAPI="2" +EAPI="3" DESCRIPTION="A floating-point formalization for the Coq system." HOMEPAGE="http://flocq.gforge.inria.fr/" @@ -10,11 +10,10 @@ SRC_URI="https://gforge.inria.fr/frs/download.php/28389/${P}.tar.gz" LICENSE="LGPL-3" SLOT="0" -KEYWORDS="~amd64 ~ppc ~x86" +KEYWORDS="~amd64 ~ppc ~sparc ~x86" IUSE="" DEPEND="sci-mathematics/coq" -RDEPEND="${DEPEND}" src_configure() { econf --libdir="`coqc -where`/user-contrib/Flocq" @@ -24,3 +23,4 @@ src_install() { emake install DESTDIR="${D}" || die "emake install failed" dodoc NEWS README AUTHORS ChangeLog } + |