diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-12-05 10:21:18 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-12-05 10:21:18 +0000 |
| commit | 593f820a0165c60e7c9b871f4e546300333fee83 (patch) | |
| tree | 61e6105d54ddd33adf64e0095445f5d14a76a1b3 /sci-mathematics | |
| parent | EAPI=5 with subslot depends to automatically rebuild e when isabelle is updat... (diff) | |
| download | gentoo-2-593f820a0165c60e7c9b871f4e546300333fee83.tar.gz gentoo-2-593f820a0165c60e7c9b871f4e546300333fee83.tar.bz2 gentoo-2-593f820a0165c60e7c9b871f4e546300333fee83.zip | |
EAPI=5 with subslot depends to automatically rebuild e 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')
| -rw-r--r-- | sci-mathematics/e/Manifest | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/sci-mathematics/e/Manifest b/sci-mathematics/e/Manifest index 0aeb3df308e3..e5eb201eb068 100644 --- a/sci-mathematics/e/Manifest +++ b/sci-mathematics/e/Manifest @@ -3,14 +3,14 @@ Hash: SHA256 DIST E-1.5.tgz 1689077 SHA256 37239f169a9af3bb64edd205abe5022a043a1f4ea9ec694b39a9e61b37f5e46f SHA512 a2534c9e278741fed2f0005f5fa2b4ea60d71babd4e38c207a48f496df6916bf9ff4bf0ba41ae899eaeeeec7235ff1d759629dbcb627dd8766168f9bc98a4894 WHIRLPOOL e659d8e5917c505f2976532f0a19f0e2f845230c656f4cc62c5538f760e2559b06c0d9e47bc0e1df7eb9000791d0fa09ef5bf94dcc43f233e7514cffacf6893a DIST E-1.6.tgz 1627003 SHA256 91afe68f37ca2005a8eead3bdba0a4452de7cf7100369c9955304c8609b70c90 SHA512 769aa4d04595181285be49c1f21d7e8a47936fab78b5d6f2975910a64d4928cd2be97d781c4092dadab48d213a6bc788b8247a2310cf71042b1339129fe0cdf2 WHIRLPOOL 96c82427132017ee3f78c644ede9a018c74d59d7029fe006435baac9502d6cf6b097c51eeb1078b98ce8a208572956db756dcccd6529bcaba32519596dabf486 -EBUILD e-1.5.ebuild 3465 SHA256 c735f5ca5b78a7a1b679984e39876a2f21a718051d4d25a899f59339e88bf95a SHA512 a0edfb90ef340aba66da23fa1bca2a0a133400c015582eeae7a5aeff9d2ab6416af42a606499f5bb562064c34619726e5c3ee38b90353ef3dc21fddef5a0c740 WHIRLPOOL a674419b44241e04bc9d286c0d5e051df02b347479449a9de0400bf517f2ac1bb0410ba60729dbbdceb714c498267a6254ede2600389f98418450e83655aa437 -EBUILD e-1.6.ebuild 3465 SHA256 486d0e03828d708789bb87e0c466dba37c0cb7f2e322bfcfb6bdfd1a7ab4cffb SHA512 eb69b3a6ad2c257c0d7021810a8a4db539f24d9749f18860f30607285c84e2063058092c092070b1d5e52ea0494502bfbb7158026013941e1a2c1ebd68824451 WHIRLPOOL 9b9d840b0a34203c9c31e15162ff858d8e3dd1a5d760e9cce62ff828a29256f616939fc00322eeb7d73c97f8b123f5b53fe62152dc5bc5899b86134548af653b -MISC ChangeLog 495 SHA256 7a82c11ae40b502e701c801a361feec935e99df3be416f09a114c00516ec9d5c SHA512 f240cb3603724df8d7185d9ffbad8ac7b03894e77d84fc1bdbbf21ede51a7771d79d53414d1fd3df71c1e09e7056e7a617b314cba1c13ab93fae7d0019cf3ffc WHIRLPOOL d60e82b31024527e8c9ef2b04405b93504f6133e6ea47668453b7ec2842a8aa9643ad52ee1aabdba8b7d7a7c9fef8f26d80310cf4b7c0910cbc0f43a835aea3a +EBUILD e-1.5.ebuild 3456 SHA256 e899f3e21fc482abea857f3d0049334f58448b1eb94013023bc0322b8249a7ea SHA512 f93b7c448ef68bd53b3ad1401e9812b2a6ee917842a12560a02141d2fab81d51ab24a25a994c59d8febdccdce07d389a5eb686af5e38ec0eeedb47935ffb0d4c WHIRLPOOL 0c1d901f1725920fcad6cacc1e458bc56cba0f06e8ca94c80df74ae90d1fafc3622c70981f87cf26e217a5ae005e00c70b01b2e62dfcb9eb8cb9bad4f796112d +EBUILD e-1.6.ebuild 3456 SHA256 e444d2bd9c17b612abeb846dc006a53a95a859450eeed10115147b424d7588af SHA512 55ca34c48866b81d8a1ee3a30ee8e3954df9804ec8189e0f80ba36393413794611c87ed77a9d08fbeaa17bca60cab45e3141409314322e8e00026d35074b2d70 WHIRLPOOL 5b304628888c4f8b1c054e7dd3a3c79b33529aacb9cdbda1cbce06b10db62ca84f34bc080188ce4e109563599c7a6af56047e1496fa5c2dff2bd8a86b692289b +MISC ChangeLog 692 SHA256 e8f84a2707d1c77f91458c986a4c242557d9b0ec9ebda3c3e864a4e7022df0f4 SHA512 d1d77e413f3758f4c808546c3ff7789ff844725707b15c9364b13068375c83f7faf389f8bed6b01f020db9f11a2cf9d118b1de8608649b6051658cf02a669f79 WHIRLPOOL cc3af3df334484d26105c3866d1edb54279d2ccdfb46ba8a93d61c91d57d6181282a6765d3e623172c1468ddddf341c6e3873c5c75529672de344ca88802ddbf MISC metadata.xml 1323 SHA256 ee934514d44fa85025ca82639eae1ae007ca9585d86a82bf5b3b413b31de1af0 SHA512 674856ce26521d4c3c02912824356af15e46f54d9ca632f9eb86e1aaf157581888d7f33916fa1740a258d113e516048daadea08c2e2e99bf39ce308781399605 WHIRLPOOL eb59e249d34aa7c3fafec8f7baa266079ad7e23c25f7903a7a1c977a72407812577bbdff94a97ba6f80bdce95b5f0dde308a70b0b0d45c443dc895a68a0d9fbd -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.19 (GNU/Linux) -iF4EAREIAAYFAlBbFgAACgkQoBEVQmGOlx8sWAD/fIdJxfXsQqjKPMGweRimnhTm -Vwz0k25RW5KyV1dTRhwBAJ7ks4k4nLDRbSsu04SeZj5DB02UWIAJHStE9/g+c0JS -=OqdQ +iF4EAREIAAYFAlC/IBwACgkQoBEVQmGOlx8WJwD+NOvkYqpPkV20nMVXzZQVhZY/ +EcOirP5cf3MZ17jq2+sA/A7UY0ZpwIalvVIaQSgmrCakpcgVlnhgQ9lkcyz1IOHZ +=/QuN -----END PGP SIGNATURE----- |