diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-12-05 10:35:43 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-12-05 10:35:43 +0000 |
| commit | 8f022d123faba6d6d28a0850b75265a35a51bebf (patch) | |
| tree | 96b308cc70e614ed33ad12bbdf94091fc57889d0 /sci-mathematics/spass | |
| parent | EAPI=5 with subslot depends to automatically rebuild spass when isabelle is u... (diff) | |
| download | gentoo-2-8f022d123faba6d6d28a0850b75265a35a51bebf.tar.gz gentoo-2-8f022d123faba6d6d28a0850b75265a35a51bebf.tar.bz2 gentoo-2-8f022d123faba6d6d28a0850b75265a35a51bebf.zip | |
EAPI=5 with subslot depends to automatically rebuild spass when isabelle is updated if the isabelle use flag is enabled.
(Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-mathematics/spass')
| -rw-r--r-- | sci-mathematics/spass/Manifest | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/sci-mathematics/spass/Manifest b/sci-mathematics/spass/Manifest index 510d1cf6e15c..2399187822e2 100644 --- a/sci-mathematics/spass/Manifest +++ b/sci-mathematics/spass/Manifest @@ -2,13 +2,13 @@ Hash: SHA256 DIST spass37.tgz 1340925 SHA256 13c67e5e09b814ba50f38a391fe653661ba714e7541ffd4951efef91274aaacc SHA512 5b4efd7b767dfee3f24e7917a6ec58ac240ab33bf601722eabd50af57637d8fdd62de9e34e7cd1cd98b8b7e371c9e2d47c8fa3e07c6e7ce2fa616a76646a4e12 WHIRLPOOL 2fa8881b08a0fcdb9f1a6e7d27849f5c900a32f2cb27d878fbdae4986d0854608fd137e4608349c4eb612f4e1981142e63af8462ab904f7d08c3e2758f319835 -EBUILD spass-3.7.ebuild 2015 SHA256 dab4ea6665e2cd6487bfc3bbecef9a4e39b5e613a98055bb90bed49d2703f9e1 SHA512 7e132589bd8034d5346deac2ec83963ae5ca7e8e672f95d1c09d6994494a1c4020ac91ba3bfb9f9a216bb8eb046158870e9c4128b830171673e897eee82958a1 WHIRLPOOL ce3c065ef8edb10e6fb866b2b064b37a1ef994046c45f329786d614e55a74da96f199e8aa52d32b363d11e226452159516bf96226c26749e9736a0d6a5260fc5 -MISC ChangeLog 902 SHA256 12c78a68e2483267e2d1f602f39b5f35de99e709a8c09bc3d521a1f26761f935 SHA512 6406f2f99b0ed442397f2b7c684a0f77d0ebc1dab4276dc347c4c1f9c2b8216820e80238e7de818b385e77f4f4387cdc385f8fa825eb6125fa564daa61bdf98e WHIRLPOOL 6e7cadf450d33a4ac4f66243683680dc8730bbee77f4d92b258f0b2dd3f9973640c4808bde589f61f6ad38b15daa26c248e040ac57ae9490102e9f951e1c0169 +EBUILD spass-3.7.ebuild 2028 SHA256 c565500b75a8588b8cb095a7e7310e0217b68be349ddbcf23726510579d7ee22 SHA512 7e590d3902eee93c37389cf601d5d57f5f6e7b8aa5dc6e360691bf71c8466b5ebdf33fc9adbd422986c29675f5c976658255895a8c87fd3ca00edb7b406ebf8b WHIRLPOOL 105584d065340f3b9d588410c050db0af2bf7f1a0e66025e30f0bc8c5f8b06820e9fa53958c471e2303db154edb70c12f51a1aec6c904bd690e4b50017278d92 +MISC ChangeLog 1093 SHA256 3c2d8b3531c2a1bc4b3e8043f2e7c22412692835d4afbdec8c6bbdd11be581fb SHA512 a2207b16aa8aad5a71d04e263bddf2cf2044a6f9851dac97aef8af43cd70d917fe875af989782e1116d5f6b3c5080bee687c0301efaa564964368f431b01d809 WHIRLPOOL aacab1927f786e96938be5b4b7073b935f1e882485c6ae98c58cca35e2efa004ff7e97455983d2cb422e7b1e775e5ec4289e789ac4b806ff938071722660aac9 MISC metadata.xml 462 SHA256 83974545e937fe1d3565dc23124ea3e328595d04f8e943ef95c60923b19e7044 SHA512 ed14a8564414fa2ff7669afe3c11f3741706c6f6fd09f1f3d80878227c2cab62e745b1fde2ed22bf3f61cc1bd9490de37c67921a290d61e0072563e42165412e WHIRLPOOL 4d619ef2739bc778de024de9c56937fafd8d7eb590c8a0be8ff473f3a6589f4268bb60455bed132e21710873820420a045be69e5e75875a763dfd4d357856d8f -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.19 (GNU/Linux) -iF4EAREIAAYFAlCFHhEACgkQoBEVQmGOlx9CEwD/a7qUqWfGA7EmSsCxbnkEBrwP -E3UtY5DStaBEMu2ByIEA/3zLv93zoNVOuSGoW5giYKYgt162JlpUgQZzqowgJR8V -=Je2u +iF4EAREIAAYFAlC/I30ACgkQoBEVQmGOlx+1fAD8C4hXMeg4zrHyBKEO2dlzSTOv +vJ+Q4Vv7QfKY83Hb+DAA/0EOwrP912WiYMPMfy57wxpw38qQvZbR4AKD2JPy+fmK +=WxVM -----END PGP SIGNATURE----- |