diff options
| author |   Diego Elio Pettenò <flameeyes@gentoo.org> | 2012-08-10 00:31:56 +0000 |
|---|---|---|
| committer | Diego Elio Pettenò <flameeyes@gentoo.org> | 2012-08-10 00:31:56 +0000 |
| commit | 47c015edfcf5ce0f68dd04de7993a6e97dd07454 (patch) | |
| tree | a795b3d96060065ebb20e18c147908ef2b2e06c1 /sci-mathematics/spass | |
| parent | Fixed for qt4 flag, thanks Egor Y. Egorov, bug #430560 (diff) | |
| download | historical-47c015edfcf5ce0f68dd04de7993a6e97dd07454.tar.gz historical-47c015edfcf5ce0f68dd04de7993a6e97dd07454.tar.bz2 historical-47c015edfcf5ce0f68dd04de7993a6e97dd07454.zip | |
Fix metadata.
Package-Manager: portage-2.2.0_alpha120/cvs/Linux x86_64
Diffstat (limited to 'sci-mathematics/spass')
| -rw-r--r-- | sci-mathematics/spass/ChangeLog | 6 | ||||
| -rw-r--r-- | sci-mathematics/spass/Manifest | 20 | ||||
| -rw-r--r-- | sci-mathematics/spass/metadata.xml | 2 |
3 files changed, 17 insertions, 11 deletions
diff --git a/sci-mathematics/spass/ChangeLog b/sci-mathematics/spass/ChangeLog index 1a1431a80982..25ab86f80a91 100644 --- a/sci-mathematics/spass/ChangeLog +++ b/sci-mathematics/spass/ChangeLog @@ -1,10 +1,12 @@ # 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.1 2012/05/30 00:53:38 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spass/ChangeLog,v 1.2 2012/08/10 00:31:56 flameeyes Exp $ + + 10 Aug 2012; Diego E. Pettenò <flameeyes@gentoo.org> metadata.xml: + Fix metadata. *spass-3.7 (30 May 2012) 30 May 2012; Mark Wright <gienah@gentoo.org> +metadata.xml, +spass-3.7.ebuild: Add SPASS automated theorem prover, with optional Isabelle/HOL sledgehammer integration. - diff --git a/sci-mathematics/spass/Manifest b/sci-mathematics/spass/Manifest index 668a182be26c..bb04160d8fa9 100644 --- a/sci-mathematics/spass/Manifest +++ b/sci-mathematics/spass/Manifest @@ -1,14 +1,18 @@ -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 -DIST spass37.tgz 1340925 RMD160 fb501cbe99331b4482b99c7f2df2f91566aa6a6a SHA1 68b1e570381b1bedafb5c682f4dee7ed3a6c6874 SHA256 13c67e5e09b814ba50f38a391fe653661ba714e7541ffd4951efef91274aaacc -EBUILD spass-3.7.ebuild 2065 RMD160 0c75ed6ffa056c79bdf2eebe44831d8e2c35ef2e SHA1 140ba5f042e0afcff3b15c05e51e93c94a3059e3 SHA256 71d76b4c3aa90bea327cec680dce05429ac0ea869019c7e7050552f4b79e7714 -MISC ChangeLog 416 RMD160 81da7194a5fc8623cc7652d6a974b2e3de96a5c8 SHA1 57dcf037ed47fdb50d68b6e04235e97d7cd2a713 SHA256 b6f27163fc07f9bb818793912487fe994b435e1edb0b5ebfc817ff8b5f6508d1 -MISC metadata.xml 457 RMD160 be80e2ad1155c9ca3939811523a2f4d7865db52a SHA1 4bc39390402f4ea729af6147557f548a37180b24 SHA256 5be29865933aafc64edf4febf36101a59efbcf12da6772b90e564f3c794ad554 +DIST spass37.tgz 1340925 SHA256 13c67e5e09b814ba50f38a391fe653661ba714e7541ffd4951efef91274aaacc SHA512 5b4efd7b767dfee3f24e7917a6ec58ac240ab33bf601722eabd50af57637d8fdd62de9e34e7cd1cd98b8b7e371c9e2d47c8fa3e07c6e7ce2fa616a76646a4e12 WHIRLPOOL 2fa8881b08a0fcdb9f1a6e7d27849f5c900a32f2cb27d878fbdae4986d0854608fd137e4608349c4eb612f4e1981142e63af8462ab904f7d08c3e2758f319835 +EBUILD spass-3.7.ebuild 2065 SHA256 71d76b4c3aa90bea327cec680dce05429ac0ea869019c7e7050552f4b79e7714 SHA512 0212d2ee894efebde7c103231d00a30caa5074a13ad0164b0026f670f32c597b44bef2a481a394dbc171d335962c7aa8f2513917da6351099d3d52c585303f90 WHIRLPOOL 68296753b85268c48a815e4452f45594e216b08c429b1cfed67663c47c4d4cf2f48a0f8ae2fdfc60b853ca70cc00cf334884cfffa72391a62d82bd559e106462 +MISC ChangeLog 505 SHA256 e4c6b0aa6cd6a5954cffc2936a3158c83c566e79215775df1a89de40ce4dc0db SHA512 ae112a542f8a6c2475062df90547bf1fc36c3700a8fe1c486eb8f73041cd12edd822fdd8361b9e7b67f2ec6c34b34e44a71162235c8541ffa52fb7203c9c61a9 WHIRLPOOL 8abdb18123db57955289dc71677551db17d0e06d272b096190d1c001c6a0fb4579bd369fac4953670a4bd7c81a41897dbc51bb8df424627d6a1a32b37414079a +MISC metadata.xml 456 SHA256 76d5ccc97fb677711edf468e9e64ca4bb72b390d2836a8ca9a333fdd4eac11e9 SHA512 1cc007d584fed10e7c9f2cff6111cc0ca1dec52d7ed494322c94e0929795cb8cc08063d06fb7e3246aaf464d55e47a96445fe7c3cc940199c548238869815d99 WHIRLPOOL 34dc32b221f57a07cec9e3cdd2c6edeb1bc1e840386c9a7466e9b1c428a8a00150563a97e1b731b715240381e7d65f1b4778f2def8cf168351382a07fdc0210c -----BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.17 (GNU/Linux) +Version: GnuPG v2.0.19 (GNU/Linux) -iF4EAREIAAYFAk/Fb50ACgkQoBEVQmGOlx/WkgD+PZhaMxmR4ktXs2pquezN2pxO -8sNOLfPM1WA2eMo+aX8BAJlFqjL0yueoomhkDlXdyz0yPTyNpA0WcQEhN3e/T8Mh -=jBgU +iQEcBAEBCAAGBQJQJFaRAAoJEBzRPIrUMBNC/k0IAI6sNG7qs/TwVlkU5qlSJj/K +RDvihYweDzbre1KlJDoPQKaodYGtCdp3RW1E775PprnksebOVko0OzakgXJhJtEX +HoH50x3ilY6rta85FfH6kDQ6ID2BB+CVpGiKPwjUOCoeP3agKu60Zb0tQr3ppQ6C +qDJ8A7unZPGU2X6aitQnYg2snAdUXAfwng4mM3gQg/a7AcPH01GWqBjWiODDrkmN +QQMQVPiaNcCa0KLzcNG7S6hiOooUdtXBzxTCX7W3arSMlZcb7tw+6GL7XcIOxnYG +3e0Y7qDho4Q1DisKW8vaeh1dNZY2MeKFVW9KcrSK3updElkJwn8my3shzmL4MAg= +=gsd+ -----END PGP SIGNATURE----- diff --git a/sci-mathematics/spass/metadata.xml b/sci-mathematics/spass/metadata.xml index c4c803fffe24..55174776cec2 100644 --- a/sci-mathematics/spass/metadata.xml +++ b/sci-mathematics/spass/metadata.xml @@ -2,7 +2,7 @@ <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer> - <email>gienah@gentoo.org></email> + <email>gienah@gentoo.org</email> </maintainer> <herd>sci-mathematics</herd> <longdescription lang='en'> |