diff options
| author |   Tom Wijsman <tomwij@gentoo.org> | 2014-01-07 13:36:39 +0000 |
|---|---|---|
| committer | Tom Wijsman <tomwij@gentoo.org> | 2014-01-07 13:36:39 +0000 |
| commit | a8dafb5e38e65148d0bb3963f8301946bda66cf0 (patch) | |
| tree | 4d93b8d67d730d99cda85249e9186d703bb70d25 /sci-mathematics | |
| parent | [QA] Change !use by ! use such that it negates the USE flag instead of expand... (diff) | |
| download | gentoo-2-a8dafb5e38e65148d0bb3963f8301946bda66cf0.tar.gz gentoo-2-a8dafb5e38e65148d0bb3963f8301946bda66cf0.tar.bz2 gentoo-2-a8dafb5e38e65148d0bb3963f8301946bda66cf0.zip | |
[QA] Change !use by ! use such that it negates the USE flag instead of expanding history. Revision bump to ensure users get the fix accordingly.
(Portage version: HEAD/cvs/Linux x86_64, signed Manifest commit with key 6D34E57D)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/isabelle/Manifest | 20 |
1 files changed, 12 insertions, 8 deletions
diff --git a/sci-mathematics/isabelle/Manifest b/sci-mathematics/isabelle/Manifest index ed8e426ee067..b0ee31d37b0a 100644 --- a/sci-mathematics/isabelle/Manifest +++ b/sci-mathematics/isabelle/Manifest @@ -22,16 +22,20 @@ DIST Isabelle2013.tar.gz 54638791 SHA256 2f2cda9939248bd4346ad7e074cb6b2cfad7070 DIST jedit_build-20120414.tar.gz 7509120 SHA256 3c5840fd01b87013b05a92742d41f66f655df6fe9edef1525c6722f92d8f3e41 SHA512 2e2f0db4964a041ba54382a9c787246e1d433e43167019c6ea8d4cf6beb84ce438c0bc559d2588229b0166c91bac603bed39abc45d5d4267020f55eaba1aaa0c WHIRLPOOL 40b883943bde312b4c7adc43607ba4759e5ebe22cab3c922c81393375f917af21d4a8dc068e5692ffcf7bdfb1e7fe3081358dc8e346d1942582bf79e249b0cbb DIST jedit_build-isabelle-component-20130104.tar.gz 10734679 SHA256 22a4880deb1054a548476b22662b42bfaf5394ceb07b30eba69be433bcea1074 SHA512 bacdb3ca73d48fe9ba71dd32cd68e98333831f205dd3ced69bb9344c5b167ba084662f1108690f371b4b64f6b786955a332bcd51a2dc21c2179fb1b4727430dd WHIRLPOOL fc97923e08202e117ca3112b69f74a9f4663a70f55fa051ac55e02c85be57423f762263cac2ded33d9c2f412736e4fa0937aa07df3f36b915e806959055a796b DIST jfreechart-isabelle-component-1.0.14.tar.gz 3443727 SHA256 c873ad6f07edbcceb5c76aac2e848c7d7f12c78c93c05f7e97c4b1fdba7c2df0 SHA512 c55ec01b215368f064de2f288f788960a256445adca5565c00aa9c0fab5732707a9e72bcdb3838676c80e735c520b9948855d7a32b9076bf35f1a279320ee72a WHIRLPOOL ba1a75e21525c302a3b755d814502dad60c540c2004dd894f60fdd6966766f85d71bbb45728ca220a4a7cff334de81db756fbb89e1059f32e248cabf0a7b97d6 -EBUILD isabelle-2011.1-r1.ebuild 8114 SHA256 914fc9aec131d739bde342e8fa821415b5d31763a874b30d7dfa7464ceef25fc SHA512 9a2fdcefe6f6b7f6dc6f83f66b3944f92d6f22ad7630144ef97e296488c3c7b0041078c3a599f292042a063e09882d88747f0c42b83317ac3de08cafc8d213c7 WHIRLPOOL 23f853a92750bdefa7e7e1a29a88b3ae66e28d7760fec71582fc42d793884ff0255721c0787cd76d6d3ee1d7fe0e63e54f91a44f7dcbf98ed5fd60b04380699c +EBUILD isabelle-2011.1-r2.ebuild 8115 SHA256 1425dc7fc5b6fb1410acc5c2eb09f48ee470e8fe23f3c330021cda8d813ebb9a SHA512 e6d4cf8c1971086a1fb2ac786b4e48eb38ceb1a00932e8df91bcbb9e743ce641170ab73f2d9c175f4901b862a376c3a1a685c09e8e3ea46371558406ce0c1b20 WHIRLPOOL a3f91037261b947da149bc600c9a3b7c7b9ed7c5f2c2e4f7811cecbb5c47967ae7a9fde667d29db6452e5390901fe26c4a9b89f2341fe8228ce0d9d3d88b32e0 EBUILD isabelle-2011.1.ebuild 4036 SHA256 6063b32c39e50c42e81051197ce46a735bb16448c13b5ff1f8af5018f07b3020 SHA512 430524175bd5fbf4beb325a93ef746bf5df5c2beabc4b6d9536c1f7370e0c1babdd9bf00a617076a74ff892e5909ffe01f791a7121bdf3fb3cd817eb42f4bf66 WHIRLPOOL 3e3bcc27aa6ff8f4853fb142c0a4312bb7eeb908639a3fc826ae882a16fca60c03374387f4e06b19f4b079afb562d782d786c75c1c4a36c2cac2db47c0f04e18 -EBUILD isabelle-2012.ebuild 11011 SHA256 b8d6bc8147868b37c15789fdd250bbade275f3341b34166626de1552c717daad SHA512 b3194156a2379dc783d7e32a29bd60e02e7d043a5705e4e4d482f86fa22cb944f236ee5aa49257134468040c9edf01af889b86cb9f80bc631e14f400ab42eaa4 WHIRLPOOL 13bd0f7080dee3d97fb9ed1870e6f4fa68e82c8cf203d3993c336a402afca24f3fc6b16d96cd45915bb02348b5c17346f588734158762d78ab9290f8b3934759 -EBUILD isabelle-2013.ebuild 12419 SHA256 f3ca677bd4b322e6bd71fcc42f161d33cfdd8093ef4d348a69bc398a2711cbd9 SHA512 af6497aea725468d9ac2f524a47ed152bdfe85a148566c9e8c358d05ea28a22f7c3372a7b354c9718e78449a6adf73273afad88f260a20799543c9a39577cf84 WHIRLPOOL 7d292c724aebfdf873861171f9c2f353f9d44fa61c61a738765db758f38acd1fddbeaa63700df091bdae5b272fddcf0b54d498ed3b7c86ff2a0e4d267bffb594 -MISC ChangeLog 3207 SHA256 d024723c89ac75fd90025c385da73f96c721ee43033982b7c9989fee864e50b2 SHA512 047572e8e5d1f371cd2c1bb13966f6a7dbd3d90b741aca6a7241f19b8cd2dc5f7984ff8204579e9fe407d758d37705e09bac53cf2c7fadc05539c4bce1d75c3c WHIRLPOOL 08b287557fdfec72ef93ab794d12ec246f39430db4dc2d3a4e54e3cce61358f3523e4f0854b9441ef0049afaa76f3c246642d089fa5a0caa88b17d702cead61b +EBUILD isabelle-2012-r1.ebuild 11015 SHA256 1e15911e89af34332811e04a25c84c7730338a7b17a295b59ac71fa9515b9fd4 SHA512 725559331033b7b7a7e7fb68fe7cce89adc44e7cbd9cc3f3e0b28810bd667417def64b26ec803b5bb51065a34c10d0dad31fed2f0e7e38b41b352fddeda885da WHIRLPOOL 18aeb75c4e68e4470aa2793924c615f951534e03ee7dc8bf347084727d32f1b1037dfdedbf8cff849edd35ab7bf97b08fe73c5519b283bd97f9e4077b799af8d +EBUILD isabelle-2013-r1.ebuild 12422 SHA256 ff89eb0b63eb62ba526c6494c4f918ce998061fe11ff35470afb742e62313e49 SHA512 ae6e923f20e245b7de54d08629b1b11b3127123e43abc54d61f82169c0e6a64f2b20eddba40984948beb3bd10aaae0f083a5b67d2dfc10d24c35bc4eaa1acf81 WHIRLPOOL d60571fb1c02ee26566d60db1feae1f029c6539dadae85342eeb95fbeb6a84d9cf00c7ee23cfae114797021af60f8ddec64bc82017d1e3a7075f9d3e6be0d607 +MISC ChangeLog 3660 SHA256 d4e9cb022d8a2e5fcd95d190e863303a7aeb0e5c60ab19519fff1293344200e2 SHA512 e9b7af18f18ebaa5502396ecbec1bebab737d7ef919b05d41f468e1ea6fae048a63a1e4defbaf3416f6eeb4e69c939fc900e4fd8e9e8186c290c82360a12271a WHIRLPOOL 4f34b0412990de4216f1a0b531d135d0a742db3b4d92bb3c04a4e1f2e3b2cf3c6d4670cf3333d568c478f81fa48759d9ccc9542f7bedf72e960d8cf92ecf2d74 MISC metadata.xml 2156 SHA256 cade1f090a62a67146e6ebce508a20436e2c883d62dbc5a260733a60f69bd43b SHA512 cade4e370f3adbf9a5ae9bc6a73adabbe36f3ccc707c47f6f4516f2f0604b26f34439cff170bf478b3d52f0c507d72d9eef8f69657d7de2fda1f70a8a96de137 WHIRLPOOL 2edf4ab8a07ba560d34e168a9fd618a6fc1f9946dd0f9b62a2d071d1f19546d5e15413f54658c898e1e71df0c110ea832529f95cf904b7333489734fdfd5749b -----BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.20 (GNU/Linux) +Version: GnuPG v2.0.22 (GNU/Linux) -iEYEAREIAAYFAlIi+ykACgkQ/ejvha5XGaPkDACgshVo8p/2wiQW8A9PMayDWLtx -PdMAoN+jHoFm7wQhw7ZB2ITxoWSKoDFJ -=F4lS +iQEcBAEBCAAGBQJSzAK/AAoJEJWyH81tNOV9KQIIALz8x1lQibWb0rqUbeY0v1EV +uVRPjg1JqLuie/v8kWGB2PBaMPf9Ka7jizdrC2ngRTGjrJS5Iphhih7LP9yQmqW/ +JDEIM30LtjOwq8Muisp72upJRp0GE/+5spmQeCM51osttNPjvHcdAVng6SMfdf8X +d7m9Oeu0fjUpNJK1zmBfDo1CWbn/AsTYJiXt4b5cRsgfLAvZg3d6CIu78xv2egVv +MyIMWbNpE4kubWwgAqGw878PInwsD93ol9aFVGzJIcw2GdYRngLkJjq8gwvHMYEE +j0rtqclv8qrLSzI4tTKvkIJN6x+S9BYF4SgVYga6Mj4uK0T5As7UxjRmD8TJAuM= +=DQVF -----END PGP SIGNATURE----- |