diff options
| author |   Jeroen Roovers <jer@gentoo.org> | 2013-05-03 14:53:50 +0000 |
|---|---|---|
| committer | Jeroen Roovers <jer@gentoo.org> | 2013-05-03 14:53:50 +0000 |
| commit | 7824c9d0ea21dc6344a06e371407592a044c97f7 (patch) | |
| tree | 4fd3df9dd84f6eb32addc76c36da895b874aa39e /sci-mathematics/isabelle | |
| parent | Fix XML. (diff) | |
| download | gentoo-2-7824c9d0ea21dc6344a06e371407592a044c97f7.tar.gz gentoo-2-7824c9d0ea21dc6344a06e371407592a044c97f7.tar.bz2 gentoo-2-7824c9d0ea21dc6344a06e371407592a044c97f7.zip | |
Fix XML.
(Portage version: 2.2.0_alpha173/cvs/Linux x86_64, signed Manifest commit with key A792A613)
Diffstat (limited to 'sci-mathematics/isabelle')
| -rw-r--r-- | sci-mathematics/isabelle/Manifest | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/sci-mathematics/isabelle/Manifest b/sci-mathematics/isabelle/Manifest index 0a516f59526d..6d37328581bd 100644 --- a/sci-mathematics/isabelle/Manifest +++ b/sci-mathematics/isabelle/Manifest @@ -19,12 +19,12 @@ DIST jedit_build-20120414.tar.gz 7509120 SHA256 3c5840fd01b87013b05a92742d41f66f EBUILD isabelle-2011.1-r1.ebuild 8114 SHA256 914fc9aec131d739bde342e8fa821415b5d31763a874b30d7dfa7464ceef25fc SHA512 9a2fdcefe6f6b7f6dc6f83f66b3944f92d6f22ad7630144ef97e296488c3c7b0041078c3a599f292042a063e09882d88747f0c42b83317ac3de08cafc8d213c7 WHIRLPOOL 23f853a92750bdefa7e7e1a29a88b3ae66e28d7760fec71582fc42d793884ff0255721c0787cd76d6d3ee1d7fe0e63e54f91a44f7dcbf98ed5fd60b04380699c EBUILD isabelle-2011.1.ebuild 4036 SHA256 6063b32c39e50c42e81051197ce46a735bb16448c13b5ff1f8af5018f07b3020 SHA512 430524175bd5fbf4beb325a93ef746bf5df5c2beabc4b6d9536c1f7370e0c1babdd9bf00a617076a74ff892e5909ffe01f791a7121bdf3fb3cd817eb42f4bf66 WHIRLPOOL 3e3bcc27aa6ff8f4853fb142c0a4312bb7eeb908639a3fc826ae882a16fca60c03374387f4e06b19f4b079afb562d782d786c75c1c4a36c2cac2db47c0f04e18 EBUILD isabelle-2012.ebuild 11011 SHA256 b8d6bc8147868b37c15789fdd250bbade275f3341b34166626de1552c717daad SHA512 b3194156a2379dc783d7e32a29bd60e02e7d043a5705e4e4d482f86fa22cb944f236ee5aa49257134468040c9edf01af889b86cb9f80bc631e14f400ab42eaa4 WHIRLPOOL 13bd0f7080dee3d97fb9ed1870e6f4fa68e82c8cf203d3993c336a402afca24f3fc6b16d96cd45915bb02348b5c17346f588734158762d78ab9290f8b3934759 -MISC ChangeLog 2727 SHA256 f2d80d571db2b3e172293342bc083a2d582fb3cf485a4cc76a65a65213f63013 SHA512 6291ec2aefb839883526430c22f9c02288fe3e1599542bafec6e7444918216be264b612db3c87c8cb3cae97b6095cba96d278cb89c75a3716b6ab36489264d7d WHIRLPOOL 839ece9a3c78b4a41eac3dbc5eb3f9bbc0b7c9969bae6970434a52d0c44f5b153771757116b3acb9ae2a8618c5933b47abab6af2fe2fc5d6257daf09cdb97ab1 -MISC metadata.xml 2157 SHA256 bdcce608d1d69f75e4aa0c809f85885dd025cd9ed2c1a12552a446033c4a7fa6 SHA512 68420728ce6789fdd6f4813d53b4ccbabe08d4a66b5c8ef17eed1a107fb48cb2abe121dbc4be606bff7b8430b2ac8a3f2f6dcf63b7f061e4c91b48df70b12d8c WHIRLPOOL 95bc13a50a4fdbd470dd7de4c64fcaf02f523ea3660d95adb5278968c64da7b3a0d3f448c4aa4a0558e3fd4ae85cd7ad020bc9f81295b1ac277fbf1aac372602 +MISC ChangeLog 2797 SHA256 6ffb5b62474a8932f2b0e160562414cd4a271eb0560fdba0c642bc8a044c00db SHA512 e5a9b41cd9bb27dcc7b80483efbd81ccee953906bc972658a58ccce3c36d91597bf092eab4e640efb9c036daa47811c5c9588c1a848d07b8242e688df450ef23 WHIRLPOOL b1d3fc1c866c2b6311d4604f6e546ccfa584429867be09ca9b21b548f3bc15a905a6d2715efe84efd90d825daa6ee051349f151e65deae9ea4a77d3865d16552 +MISC metadata.xml 2156 SHA256 cade1f090a62a67146e6ebce508a20436e2c883d62dbc5a260733a60f69bd43b SHA512 cade4e370f3adbf9a5ae9bc6a73adabbe36f3ccc707c47f6f4516f2f0604b26f34439cff170bf478b3d52f0c507d72d9eef8f69657d7de2fda1f70a8a96de137 WHIRLPOOL 2edf4ab8a07ba560d34e168a9fd618a6fc1f9946dd0f9b62a2d071d1f19546d5e15413f54658c898e1e71df0c110ea832529f95cf904b7333489734fdfd5749b -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.19 (GNU/Linux) -iF4EAREIAAYFAlDEWZsACgkQoBEVQmGOlx8mtwD/eMcTSl2/xp8hCLZv7BX9Frzh -LubZDakSjla9TJsr6rgBAJtMFHNXobZaI7GXe8cAqL5zko4ItzNJvoLMR609ZFB5 -=rSZO +iEYEAREIAAYFAlGDz34ACgkQVWmRsqeSphMVtgCcDdWoH3Uyd+6oS0AWS6gHNcD2 +l14Anj0ZC39At4RSovaNZgkMVNthWllB +=zKAO -----END PGP SIGNATURE----- |