/[gentoo-x86]/sci-mathematics/isabelle/Manifest
Gentoo

Contents of /sci-mathematics/isabelle/Manifest

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.8 - (show annotations) (download)
Sun Dec 9 09:27:56 2012 UTC (22 months, 1 week ago) by gienah
Branch: MAIN
Changes since 1.7: +7 -5 lines
Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some functionality, like using Simpl/Vcg.

(Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)

1 -----BEGIN PGP SIGNED MESSAGE-----
2 Hash: SHA256
3
4 AUX isabelle-2011.1-gentoo-settings.patch 1265 SHA256 08f6dae3f3157331ac83a3204f95e75838725175994c54f25b5f71715836556a SHA512 37b05102ffbff468a237da932bfe45c1abafe7fe9bcd0d33ee45a527762bd1eb6eb60e9ed9e1bae3117f558ae909d12dd4e5fd8b94520ec4cdc3f279e0af5332 WHIRLPOOL 722fd9126adfbd725356271d52dbd268a326f181d8a2941c7f8452c6cc1eb73d72c0d1550649e01b8922e576970175b099316e4bd744fe60c75f2cbb9e549805
5 AUX isabelle-2011.1-graphbrowser.patch 358 SHA256 3c4a1567e06ea062f3064a7fb4555a645591732dc2d77daf7b4c49de6f640115 SHA512 5e91d2eeeff310fb074c7475e718ddd73c7b2ecff00f75ac965471c5348041697cebc4d3cd123e94e7ac0c9b7649008bb2a19aa4d28c09e7720435477ff1c6e2 WHIRLPOOL 8d2d3772269878fc72192d21c6b4631a72bb60d3ae5d859acefa44c2510e8e8ff1b97517083f1de3c4b1354c8eb3918e06539a750974ae53c3d29f2372f7d467
6 AUX isabelle-2011.1-libsha1.patch 512 SHA256 fe886375e95da4cc2fdee332a569dcea320e8537fc209ec4bfff74cdf01c2966 SHA512 de73fa70303e395aaee7b5a3803bf7f13a1aa718335416d44f67f8ef64fbe20ab31c2b115966d2ce766b4b02fb2fdb79d95018d1ddb83cb85b27473ae0e31da5 WHIRLPOOL f2fd937c1d264f6b6f5fe4c373e06e6a7384f163a8adc85f60dcce26a8d6ca8f84707f78f5e079b156f84984ff44b71c089456fc4dc5fad914c7443f44dffe9d
7 AUX isabelle-2011.1-proofgeneral-gentoo-path.patch 1265 SHA256 08f6dae3f3157331ac83a3204f95e75838725175994c54f25b5f71715836556a SHA512 37b05102ffbff468a237da932bfe45c1abafe7fe9bcd0d33ee45a527762bd1eb6eb60e9ed9e1bae3117f558ae909d12dd4e5fd8b94520ec4cdc3f279e0af5332 WHIRLPOOL 722fd9126adfbd725356271d52dbd268a326f181d8a2941c7f8452c6cc1eb73d72c0d1550649e01b8922e576970175b099316e4bd744fe60c75f2cbb9e549805
8 AUX isabelle-2011.1-reverse-line-editor-order.patch 427 SHA256 1a664c94d400d88dfa5af9af3bdb4c90bacd12792286b3c4933f62ca15e5b9a0 SHA512 43bf3f5c6e9bc5671f0ae1c95fcce3ad41073a8d69819e1268167b45671df2d7cf7ac6cba7700fc7f43894d9614544ff5f24ee01d61dace8e85d87a92d6f4ba9 WHIRLPOOL 0c4ed331d70b40bce160a3eddbe83fd4b08add83516c6cd8ce60cb2642f2f746dcc8a1a852e3248959ea133b03a8beed3dcfd9527d36f9e2c2649f85ec31ee8f
9 AUX isabelle-2012-gentoo-settings.patch 2107 SHA256 5076d6665b367a9b08a2e56ba901028e90910a444c2c02322ebf8d9d9ac328b1 SHA512 ed2be9c5745391659026c2a971206abc55a3331a122c527b53a2863c55d2bcaf2308b8871177cb3c9d6a77ab49ffbcc52e9abfec7ccfe85326e326714c6e0592 WHIRLPOOL 577a7b07a6ca3838a68043754506012d2434bd63bbf37bd496a397b0aa5fb0c43f4c45ccd208ba76207475be4fbcfc189058c0b00c336001bc2561c460119fbe
10 AUX isabelle-2012-graphbrowser.patch 354 SHA256 0b6d3a3736ec89ad870ef24bb2ba3c2006a907e1a29a113e3f63a5ad609ec4b7 SHA512 ef850f554a41292e6a1811489309b9c13404191258acdf46d4739360b951634aaa76d25fcbef3784a54c25972b6a81ec2d4d151b6f53684224cdec286d4082c0 WHIRLPOOL dec708ff2653bdd50af5cccedd31c5e6f06d3e9910c4155d53c4a24b9b70c868226a4c68a12fadac868296fa95024799ef9cd027fd56f1d7c4e825cacddc74f1
11 AUX isabelle-2012-libsha1.patch 508 SHA256 c07e99215d76f4b0aecfffd64981d670fb424b07429e170aff2b67ecdf35facb SHA512 8d6fb8bb54d364ba97264fa6be6f49e58f000e5db4fd21ed3a41b6d739a95cd24362f13f0e97189ae03feae8bec196be262be0f87bb9a748c339f63fc1a58573 WHIRLPOOL 3f0cd2af0355ddf55d8095231e1525f76a2b4b301ac37f3273bd76dcec989e51e63015210a0555ac0eb668b470d3c8a4be24a9c1b000546b59a00c38b688322c
12 AUX isabelle-2012-redundant-equations-in-function-definitions-error.patch 1319 SHA256 87d766c5140708710935bc4156fddb8901a80fa5462d22974290f85bc13b4038 SHA512 70697b4c5c367af64ff77c809618c735ad364665e63f69154dae95ff1079efca04c77b3e7595d2f378fa7c7b8b382a5ebf8edd27bafc85a264d57e98ec27f0b4 WHIRLPOOL de3ed96c6070a72b2bf7e266ef0ad0a66487dcf320fcdcb7aa725052b205b39141c7cb01df6bf6c373e850ea4bd1d87daf2e949bc303ecee16248736672b2272
13 AUX isabelle-2012-reverse-line-editor-order.patch 423 SHA256 51a172b46baaaa269488801bad3d46ba4ccd0e3df35b2c15dc9b75592ceb843e SHA512 de9499e5c0d9bc22a72ef15320490fea7e71afbfe1ab6bc3a6a71a866eda2050833d47aadc7c0c7b106d4f0a28fa9a062ec2d9a6c15bf6c0eedd54274df20515 WHIRLPOOL 3a96e039df568ffd449dc0dc18a888d55a5b3db2940beb7f7e28628e0abdd3bd4132162abc7cac8c633f562cb2b18afb8a4e84cea26fa18f086488bfd3781a48
14 AUX isabelle-2012-signal-handling.patch 457 SHA256 df6e274300a8ac440fa140c7bdb130c42191a45b40067bac46fcf8141861df6f SHA512 a505385c64ab1d4687543a1f12cfe0be6c50947161860b25a4abac3ef28219ee51f6f2c560ae5fa6894c2be191836c84ba3a0cf3cc6c65e9ca3a6c07aa8ba823 WHIRLPOOL 8151a64ea11a5d800aebb64d9e0d622aa428ef7e071d3d8ff90551855bd753f5c82e3af79bc09c95ca1e6cb3780e2aa8786031e71be1cd62072c5c4bbe81654f
15 DIST Isabelle2011-1.tar.gz 42239059 SHA256 48d77fe31a16b44f6015aa7953a60bdad8fcec9e60847630dc7b98c053edfc08 SHA512 213207951455395659a91b0bc6c8520c084cb6c75098c8f24c0800e41474c90c92aae86ffb99415142f6cf63d569556661ba350024fe458daa54a5cc9db372fd WHIRLPOOL 7e7868c3f464f507aceb8e1f648c04394fdd69746242179e66cfad64f927cf4d6aba41970428da5e45cce90a30bcee29bdc373d8a9e4943eb61cd97480d0a366
16 DIST Isabelle2012-doc-src.tar.gz 2688496 SHA256 e18965fe0f7f89b286d4707e38201f1edbea81f6b26aed59d63a633c03fec097 SHA512 5aaea56eb67e535d745d63314278b6ee8469e6d3bbf4ce4d7b3f5e04b24557783b56d50d905a5ad69187c42f44407023c95a9bfb6faab125c21edff7638ff21d WHIRLPOOL 278b63a243950b1596376ee04cbfddb7a93c747e9f6ee66c5b069ca0dae4ca8d10bef43e03069b6186a19c703f71a585633fc47c3c1a15de3a886ff468232127
17 DIST Isabelle2012.tar.gz 49529865 SHA256 b86f957dee221041f92c9d4ced4758d45b4950339743d0d58b1ea6061e2b53f0 SHA512 1346f563233eba10bc14f7d140706b8bfba8e832f7ee5887316c829926136af07d700914a925272d8adc1275b0bdd682540518957910c136a15bfc60d61285a0 WHIRLPOOL 23b764a1a0044a9525d058e95da318f4425fadf7660edc8ab8f35b248f98dcff0dba2e533ff18d8bf47ea164cec12a9648642749de2a49887bbe84ed4e71a68b
18 DIST jedit_build-20120414.tar.gz 7509120 SHA256 3c5840fd01b87013b05a92742d41f66f655df6fe9edef1525c6722f92d8f3e41 SHA512 2e2f0db4964a041ba54382a9c787246e1d433e43167019c6ea8d4cf6beb84ce438c0bc559d2588229b0166c91bac603bed39abc45d5d4267020f55eaba1aaa0c WHIRLPOOL 40b883943bde312b4c7adc43607ba4759e5ebe22cab3c922c81393375f917af21d4a8dc068e5692ffcf7bdfb1e7fe3081358dc8e346d1942582bf79e249b0cbb
19 EBUILD isabelle-2011.1-r1.ebuild 8114 SHA256 914fc9aec131d739bde342e8fa821415b5d31763a874b30d7dfa7464ceef25fc SHA512 9a2fdcefe6f6b7f6dc6f83f66b3944f92d6f22ad7630144ef97e296488c3c7b0041078c3a599f292042a063e09882d88747f0c42b83317ac3de08cafc8d213c7 WHIRLPOOL 23f853a92750bdefa7e7e1a29a88b3ae66e28d7760fec71582fc42d793884ff0255721c0787cd76d6d3ee1d7fe0e63e54f91a44f7dcbf98ed5fd60b04380699c
20 EBUILD isabelle-2011.1.ebuild 4036 SHA256 6063b32c39e50c42e81051197ce46a735bb16448c13b5ff1f8af5018f07b3020 SHA512 430524175bd5fbf4beb325a93ef746bf5df5c2beabc4b6d9536c1f7370e0c1babdd9bf00a617076a74ff892e5909ffe01f791a7121bdf3fb3cd817eb42f4bf66 WHIRLPOOL 3e3bcc27aa6ff8f4853fb142c0a4312bb7eeb908639a3fc826ae882a16fca60c03374387f4e06b19f4b079afb562d782d786c75c1c4a36c2cac2db47c0f04e18
21 EBUILD isabelle-2012.ebuild 11011 SHA256 b8d6bc8147868b37c15789fdd250bbade275f3341b34166626de1552c717daad SHA512 b3194156a2379dc783d7e32a29bd60e02e7d043a5705e4e4d482f86fa22cb944f236ee5aa49257134468040c9edf01af889b86cb9f80bc631e14f400ab42eaa4 WHIRLPOOL 13bd0f7080dee3d97fb9ed1870e6f4fa68e82c8cf203d3993c336a402afca24f3fc6b16d96cd45915bb02348b5c17346f588734158762d78ab9290f8b3934759
22 MISC ChangeLog 2727 SHA256 f2d80d571db2b3e172293342bc083a2d582fb3cf485a4cc76a65a65213f63013 SHA512 6291ec2aefb839883526430c22f9c02288fe3e1599542bafec6e7444918216be264b612db3c87c8cb3cae97b6095cba96d278cb89c75a3716b6ab36489264d7d WHIRLPOOL 839ece9a3c78b4a41eac3dbc5eb3f9bbc0b7c9969bae6970434a52d0c44f5b153771757116b3acb9ae2a8618c5933b47abab6af2fe2fc5d6257daf09cdb97ab1
23 MISC metadata.xml 2157 SHA256 bdcce608d1d69f75e4aa0c809f85885dd025cd9ed2c1a12552a446033c4a7fa6 SHA512 68420728ce6789fdd6f4813d53b4ccbabe08d4a66b5c8ef17eed1a107fb48cb2abe121dbc4be606bff7b8430b2ac8a3f2f6dcf63b7f061e4c91b48df70b12d8c WHIRLPOOL 95bc13a50a4fdbd470dd7de4c64fcaf02f523ea3660d95adb5278968c64da7b3a0d3f448c4aa4a0558e3fd4ae85cd7ad020bc9f81295b1ac277fbf1aac372602
24 -----BEGIN PGP SIGNATURE-----
25 Version: GnuPG v2.0.19 (GNU/Linux)
26
27 iF4EAREIAAYFAlDEWZsACgkQoBEVQmGOlx8mtwD/eMcTSl2/xp8hCLZv7BX9Frzh
28 LubZDakSjla9TJsr6rgBAJtMFHNXobZaI7GXe8cAqL5zko4ItzNJvoLMR609ZFB5
29 =rSZO
30 -----END PGP SIGNATURE-----

  ViewVC Help
Powered by ViewVC 1.1.20