diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-10-22 10:21:07 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-10-22 10:21:07 +0000 |
| commit | b5454395638ce6119a3ed7ace5e0c61ec165b4a4 (patch) | |
| tree | 97626891ee40b8bad0ea21e8ad5992e63bd9238f /sci-mathematics/spass | |
| parent | Remove old. (diff) | |
| download | historical-b5454395638ce6119a3ed7ace5e0c61ec165b4a4.tar.gz historical-b5454395638ce6119a3ed7ace5e0c61ec165b4a4.tar.bz2 historical-b5454395638ce6119a3ed7ace5e0c61ec165b4a4.zip | |
Thanks to Imre Vadasz for reporting bug #439178 and providing the fix, -z should be -n.
Package-Manager: portage-2.1.11.30/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F
Diffstat (limited to 'sci-mathematics/spass')
| -rw-r--r-- | sci-mathematics/spass/ChangeLog | 6 | ||||
| -rw-r--r-- | sci-mathematics/spass/Manifest | 11 | ||||
| -rw-r--r-- | sci-mathematics/spass/spass-3.7.ebuild | 4 |
3 files changed, 12 insertions, 9 deletions
diff --git a/sci-mathematics/spass/ChangeLog b/sci-mathematics/spass/ChangeLog index 68842aeb0a2d..d5450c934180 100644 --- a/sci-mathematics/spass/ChangeLog +++ b/sci-mathematics/spass/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for sci-mathematics/spass # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spass/ChangeLog,v 1.4 2012/08/10 05:58:33 jlec Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spass/ChangeLog,v 1.5 2012/10/22 10:20:57 gienah Exp $ + + 22 Oct 2012; Mark Wright <gienah@gentoo.org> spass-3.7.ebuild: + Thanks to Imre Vadasz for reporting bug #439178 and providing the fix, -z + should be -n. 10 Aug 2012; Justin Lecher <jlec@gentoo.org> spass-3.7.ebuild: Clean residuals from another fix solution diff --git a/sci-mathematics/spass/Manifest b/sci-mathematics/spass/Manifest index c5124eaa2779..510d1cf6e15c 100644 --- a/sci-mathematics/spass/Manifest +++ b/sci-mathematics/spass/Manifest @@ -2,14 +2,13 @@ Hash: SHA256 DIST spass37.tgz 1340925 SHA256 13c67e5e09b814ba50f38a391fe653661ba714e7541ffd4951efef91274aaacc SHA512 5b4efd7b767dfee3f24e7917a6ec58ac240ab33bf601722eabd50af57637d8fdd62de9e34e7cd1cd98b8b7e371c9e2d47c8fa3e07c6e7ce2fa616a76646a4e12 WHIRLPOOL 2fa8881b08a0fcdb9f1a6e7d27849f5c900a32f2cb27d878fbdae4986d0854608fd137e4608349c4eb612f4e1981142e63af8462ab904f7d08c3e2758f319835 -EBUILD spass-3.7.ebuild 2013 SHA256 2ce25137795fee8bed449ca9aa16d843bcb3d019a730570e7e27f75e2d58155e SHA512 b0d2aa61df111ec86e9e359eb150e7dcba2d18a56e023fa5791aad4a49ec8a4cb7331a109f7d99eeb73dc199fe406460ab1ac404734d42a5e4ca5e32649ba284 WHIRLPOOL bd6633ee16fadaeea277279b2099c6b13441b87be93820a34b974ee8bd2623b84f48ca1323575b18b41b36351be4f2b37dea8d91a5e326d8d1f7c438a50f3ef8 -MISC ChangeLog 742 SHA256 ef9fe104c33f3290767a87b501dcfd1547520ad97a59464760005a2c227de13a SHA512 66fac5e8bb0212df5f2e023f761d48eb095a43bfae8f9f2ff61e6934c7622988f816be81689a4ae20c4ed3a85a7025ae847504abd53041bef467b79ebe7c941e WHIRLPOOL 9ac029791a70be39e1598fd2db1d5e3ffa1bbcb2e10446a82fbcc37bf63956105cb3e39c000e36abfeec88c3954d07ed7de23806cbf03a8df1b3103504edd86f +EBUILD spass-3.7.ebuild 2015 SHA256 dab4ea6665e2cd6487bfc3bbecef9a4e39b5e613a98055bb90bed49d2703f9e1 SHA512 7e132589bd8034d5346deac2ec83963ae5ca7e8e672f95d1c09d6994494a1c4020ac91ba3bfb9f9a216bb8eb046158870e9c4128b830171673e897eee82958a1 WHIRLPOOL ce3c065ef8edb10e6fb866b2b064b37a1ef994046c45f329786d614e55a74da96f199e8aa52d32b363d11e226452159516bf96226c26749e9736a0d6a5260fc5 +MISC ChangeLog 902 SHA256 12c78a68e2483267e2d1f602f39b5f35de99e709a8c09bc3d521a1f26761f935 SHA512 6406f2f99b0ed442397f2b7c684a0f77d0ebc1dab4276dc347c4c1f9c2b8216820e80238e7de818b385e77f4f4387cdc385f8fa825eb6125fa564daa61bdf98e WHIRLPOOL 6e7cadf450d33a4ac4f66243683680dc8730bbee77f4d92b258f0b2dd3f9973640c4808bde589f61f6ad38b15daa26c248e040ac57ae9490102e9f951e1c0169 MISC metadata.xml 462 SHA256 83974545e937fe1d3565dc23124ea3e328595d04f8e943ef95c60923b19e7044 SHA512 ed14a8564414fa2ff7669afe3c11f3741706c6f6fd09f1f3d80878227c2cab62e745b1fde2ed22bf3f61cc1bd9490de37c67921a290d61e0072563e42165412e WHIRLPOOL 4d619ef2739bc778de024de9c56937fafd8d7eb590c8a0be8ff473f3a6589f4268bb60455bed132e21710873820420a045be69e5e75875a763dfd4d357856d8f -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.19 (GNU/Linux) -Comment: GPGTools - http://gpgtools.org -iEYEAREIAAYFAlAkow4ACgkQgAnW8HDreRaI7gCfTSNb01bwkCr2dGmj8Lgr8/Dg -ZNIAoNIp2yjcW0ixA1XrVMM3xWaOm2wq -=TNRj +iF4EAREIAAYFAlCFHhEACgkQoBEVQmGOlx9CEwD/a7qUqWfGA7EmSsCxbnkEBrwP +E3UtY5DStaBEMu2ByIEA/3zLv93zoNVOuSGoW5giYKYgt162JlpUgQZzqowgJR8V +=Je2u -----END PGP SIGNATURE----- diff --git a/sci-mathematics/spass/spass-3.7.ebuild b/sci-mathematics/spass/spass-3.7.ebuild index ed21973ac7ea..6746c6ba02cf 100644 --- a/sci-mathematics/spass/spass-3.7.ebuild +++ b/sci-mathematics/spass/spass-3.7.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2012 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spass/spass-3.7.ebuild,v 1.3 2012/08/10 05:58:33 jlec Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spass/spass-3.7.ebuild,v 1.4 2012/10/22 10:20:57 gienah Exp $ EAPI=4 @@ -40,7 +40,7 @@ src_install() { if use isabelle; then ISABELLE_HOME="$(isabelle getenv ISABELLE_HOME | cut -d'=' -f 2)" - [[ -z "${ISABELLE_HOME}" ]] || die "ISABELLE_HOME empty" + [[ -n "${ISABELLE_HOME}" ]] || die "ISABELLE_HOME empty" dodir "${ISABELLE_HOME}/contrib/${PN}-${PV}/etc" cat <<- EOF >> "${S}/settings" |