blob: b0ee31d37b0a9ccd5034cd7654361372e860bf58 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
AUX isabelle-2011.1-gentoo-settings.patch 1265 SHA256 08f6dae3f3157331ac83a3204f95e75838725175994c54f25b5f71715836556a SHA512 37b05102ffbff468a237da932bfe45c1abafe7fe9bcd0d33ee45a527762bd1eb6eb60e9ed9e1bae3117f558ae909d12dd4e5fd8b94520ec4cdc3f279e0af5332 WHIRLPOOL 722fd9126adfbd725356271d52dbd268a326f181d8a2941c7f8452c6cc1eb73d72c0d1550649e01b8922e576970175b099316e4bd744fe60c75f2cbb9e549805
AUX isabelle-2011.1-graphbrowser.patch 358 SHA256 3c4a1567e06ea062f3064a7fb4555a645591732dc2d77daf7b4c49de6f640115 SHA512 5e91d2eeeff310fb074c7475e718ddd73c7b2ecff00f75ac965471c5348041697cebc4d3cd123e94e7ac0c9b7649008bb2a19aa4d28c09e7720435477ff1c6e2 WHIRLPOOL 8d2d3772269878fc72192d21c6b4631a72bb60d3ae5d859acefa44c2510e8e8ff1b97517083f1de3c4b1354c8eb3918e06539a750974ae53c3d29f2372f7d467
AUX isabelle-2011.1-libsha1.patch 512 SHA256 fe886375e95da4cc2fdee332a569dcea320e8537fc209ec4bfff74cdf01c2966 SHA512 de73fa70303e395aaee7b5a3803bf7f13a1aa718335416d44f67f8ef64fbe20ab31c2b115966d2ce766b4b02fb2fdb79d95018d1ddb83cb85b27473ae0e31da5 WHIRLPOOL f2fd937c1d264f6b6f5fe4c373e06e6a7384f163a8adc85f60dcce26a8d6ca8f84707f78f5e079b156f84984ff44b71c089456fc4dc5fad914c7443f44dffe9d
AUX isabelle-2011.1-proofgeneral-gentoo-path.patch 1265 SHA256 08f6dae3f3157331ac83a3204f95e75838725175994c54f25b5f71715836556a SHA512 37b05102ffbff468a237da932bfe45c1abafe7fe9bcd0d33ee45a527762bd1eb6eb60e9ed9e1bae3117f558ae909d12dd4e5fd8b94520ec4cdc3f279e0af5332 WHIRLPOOL 722fd9126adfbd725356271d52dbd268a326f181d8a2941c7f8452c6cc1eb73d72c0d1550649e01b8922e576970175b099316e4bd744fe60c75f2cbb9e549805
AUX isabelle-2011.1-reverse-line-editor-order.patch 427 SHA256 1a664c94d400d88dfa5af9af3bdb4c90bacd12792286b3c4933f62ca15e5b9a0 SHA512 43bf3f5c6e9bc5671f0ae1c95fcce3ad41073a8d69819e1268167b45671df2d7cf7ac6cba7700fc7f43894d9614544ff5f24ee01d61dace8e85d87a92d6f4ba9 WHIRLPOOL 0c4ed331d70b40bce160a3eddbe83fd4b08add83516c6cd8ce60cb2642f2f746dcc8a1a852e3248959ea133b03a8beed3dcfd9527d36f9e2c2649f85ec31ee8f
AUX isabelle-2012-gentoo-settings.patch 2107 SHA256 5076d6665b367a9b08a2e56ba901028e90910a444c2c02322ebf8d9d9ac328b1 SHA512 ed2be9c5745391659026c2a971206abc55a3331a122c527b53a2863c55d2bcaf2308b8871177cb3c9d6a77ab49ffbcc52e9abfec7ccfe85326e326714c6e0592 WHIRLPOOL 577a7b07a6ca3838a68043754506012d2434bd63bbf37bd496a397b0aa5fb0c43f4c45ccd208ba76207475be4fbcfc189058c0b00c336001bc2561c460119fbe
AUX isabelle-2012-graphbrowser.patch 354 SHA256 0b6d3a3736ec89ad870ef24bb2ba3c2006a907e1a29a113e3f63a5ad609ec4b7 SHA512 ef850f554a41292e6a1811489309b9c13404191258acdf46d4739360b951634aaa76d25fcbef3784a54c25972b6a81ec2d4d151b6f53684224cdec286d4082c0 WHIRLPOOL dec708ff2653bdd50af5cccedd31c5e6f06d3e9910c4155d53c4a24b9b70c868226a4c68a12fadac868296fa95024799ef9cd027fd56f1d7c4e825cacddc74f1
AUX isabelle-2012-libsha1.patch 508 SHA256 c07e99215d76f4b0aecfffd64981d670fb424b07429e170aff2b67ecdf35facb SHA512 8d6fb8bb54d364ba97264fa6be6f49e58f000e5db4fd21ed3a41b6d739a95cd24362f13f0e97189ae03feae8bec196be262be0f87bb9a748c339f63fc1a58573 WHIRLPOOL 3f0cd2af0355ddf55d8095231e1525f76a2b4b301ac37f3273bd76dcec989e51e63015210a0555ac0eb668b470d3c8a4be24a9c1b000546b59a00c38b688322c
AUX isabelle-2012-redundant-equations-in-function-definitions-error.patch 1319 SHA256 87d766c5140708710935bc4156fddb8901a80fa5462d22974290f85bc13b4038 SHA512 70697b4c5c367af64ff77c809618c735ad364665e63f69154dae95ff1079efca04c77b3e7595d2f378fa7c7b8b382a5ebf8edd27bafc85a264d57e98ec27f0b4 WHIRLPOOL de3ed96c6070a72b2bf7e266ef0ad0a66487dcf320fcdcb7aa725052b205b39141c7cb01df6bf6c373e850ea4bd1d87daf2e949bc303ecee16248736672b2272
AUX isabelle-2012-reverse-line-editor-order.patch 423 SHA256 51a172b46baaaa269488801bad3d46ba4ccd0e3df35b2c15dc9b75592ceb843e SHA512 de9499e5c0d9bc22a72ef15320490fea7e71afbfe1ab6bc3a6a71a866eda2050833d47aadc7c0c7b106d4f0a28fa9a062ec2d9a6c15bf6c0eedd54274df20515 WHIRLPOOL 3a96e039df568ffd449dc0dc18a888d55a5b3db2940beb7f7e28628e0abdd3bd4132162abc7cac8c633f562cb2b18afb8a4e84cea26fa18f086488bfd3781a48
AUX isabelle-2012-signal-handling.patch 457 SHA256 df6e274300a8ac440fa140c7bdb130c42191a45b40067bac46fcf8141861df6f SHA512 a505385c64ab1d4687543a1f12cfe0be6c50947161860b25a4abac3ef28219ee51f6f2c560ae5fa6894c2be191836c84ba3a0cf3cc6c65e9ca3a6c07aa8ba823 WHIRLPOOL 8151a64ea11a5d800aebb64d9e0d622aa428ef7e071d3d8ff90551855bd753f5c82e3af79bc09c95ca1e6cb3780e2aa8786031e71be1cd62072c5c4bbe81654f
AUX isabelle-2013-HOL-Predicate_Compile_Examples.patch 3388 SHA256 690917da79d2c4db7055dbabcff0923a604674ac3b82616e596aeb128034b7fd SHA512 105b7067a9e9470ee8f54212cb8ec4ff50806a9c3b2468eae7972884267c27da33c0606850376f7d318f40dcddbc0305235f895c1409d88412d917c9c973fc0a WHIRLPOOL 7bbe4d3e254ea1b677189daf9bd7925e497dfd386df7466d2e81bd6e11ba46dfa8bcb3cd8b662baf479f8e0e58eb2f3feea6eecf54d88c064adba803a9f85893
AUX isabelle-2013-classpath.patch 5309 SHA256 5b6fad7851876fd1e070e12b714688aad749f7e85d83665aa99abb5a74ad9233 SHA512 47874fd4570ffa865cca1069f2e5189d0765ecac0df65e19997ea50f6ebe2790ed9b588a3d4669c9abca4c67b3c160d4cf563171b20218c8729391cb82f2b197 WHIRLPOOL 3d6e8d8e87ff11ceae025cae987f7901f765b64f01e5fd7cbf7c06715b8758e9648c8066adc01ce91920aaf1526108db80f008b818ce85dbbb938888a45f521e
AUX isabelle-2013-gentoo-settings.patch 600 SHA256 8b8a0bd49fa4bc58222906c6d0315b03a09144b5c419acb21c03bad4ee13cdfb SHA512 d9eee090f79f5d4a82cb478160f69ac107ba486925ca1e87ea3cfbc84c402155665b384803b9b78c52514568d90ba77a177abfdf004a4ca9c4080eb49879b0e2 WHIRLPOOL 2b132ae5c8a57b440ec11a70a25061251d1bfb6551627848df21bce907a10834f7889d277a3f5c6cb9928817142c8aa1f08be2b8b783f84c766a6c5309d79863
DIST Isabelle2011-1.tar.gz 42239059 SHA256 48d77fe31a16b44f6015aa7953a60bdad8fcec9e60847630dc7b98c053edfc08 SHA512 213207951455395659a91b0bc6c8520c084cb6c75098c8f24c0800e41474c90c92aae86ffb99415142f6cf63d569556661ba350024fe458daa54a5cc9db372fd WHIRLPOOL 7e7868c3f464f507aceb8e1f648c04394fdd69746242179e66cfad64f927cf4d6aba41970428da5e45cce90a30bcee29bdc373d8a9e4943eb61cd97480d0a366
DIST Isabelle2012-doc-src.tar.gz 2688496 SHA256 e18965fe0f7f89b286d4707e38201f1edbea81f6b26aed59d63a633c03fec097 SHA512 5aaea56eb67e535d745d63314278b6ee8469e6d3bbf4ce4d7b3f5e04b24557783b56d50d905a5ad69187c42f44407023c95a9bfb6faab125c21edff7638ff21d WHIRLPOOL 278b63a243950b1596376ee04cbfddb7a93c747e9f6ee66c5b069ca0dae4ca8d10bef43e03069b6186a19c703f71a585633fc47c3c1a15de3a886ff468232127
DIST Isabelle2012.tar.gz 49529865 SHA256 b86f957dee221041f92c9d4ced4758d45b4950339743d0d58b1ea6061e2b53f0 SHA512 1346f563233eba10bc14f7d140706b8bfba8e832f7ee5887316c829926136af07d700914a925272d8adc1275b0bdd682540518957910c136a15bfc60d61285a0 WHIRLPOOL 23b764a1a0044a9525d058e95da318f4425fadf7660edc8ab8f35b248f98dcff0dba2e533ff18d8bf47ea164cec12a9648642749de2a49887bbe84ed4e71a68b
DIST Isabelle2013.tar.gz 54638791 SHA256 2f2cda9939248bd4346ad7e074cb6b2cfad70708777491c6262a5ae670c8f83a SHA512 e03f9b747f678749a562c3de6100f4f4e010ace51b2eb13bcde0a63591eec0cb4e081f7fad9147d022fe787b56eac3f037ab3a296080fd70cc7d058ea961a789 WHIRLPOOL 5cbcbc93bd2ce4723034c3d95d4678b2de90c924601b795c5da378cb76f58275e5d5f47ce9120234a9ea36e43ab759ced843dca76942378abfa1fb7aff858a65
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-r2.ebuild 8115 SHA256 1425dc7fc5b6fb1410acc5c2eb09f48ee470e8fe23f3c330021cda8d813ebb9a SHA512 e6d4cf8c1971086a1fb2ac786b4e48eb38ceb1a00932e8df91bcbb9e743ce641170ab73f2d9c175f4901b862a376c3a1a685c09e8e3ea46371558406ce0c1b20 WHIRLPOOL a3f91037261b947da149bc600c9a3b7c7b9ed7c5f2c2e4f7811cecbb5c47967ae7a9fde667d29db6452e5390901fe26c4a9b89f2341fe8228ce0d9d3d88b32e0
EBUILD isabelle-2011.1.ebuild 4036 SHA256 6063b32c39e50c42e81051197ce46a735bb16448c13b5ff1f8af5018f07b3020 SHA512 430524175bd5fbf4beb325a93ef746bf5df5c2beabc4b6d9536c1f7370e0c1babdd9bf00a617076a74ff892e5909ffe01f791a7121bdf3fb3cd817eb42f4bf66 WHIRLPOOL 3e3bcc27aa6ff8f4853fb142c0a4312bb7eeb908639a3fc826ae882a16fca60c03374387f4e06b19f4b079afb562d782d786c75c1c4a36c2cac2db47c0f04e18
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.22 (GNU/Linux)
iQEcBAEBCAAGBQJSzAK/AAoJEJWyH81tNOV9KQIIALz8x1lQibWb0rqUbeY0v1EV
uVRPjg1JqLuie/v8kWGB2PBaMPf9Ka7jizdrC2ngRTGjrJS5Iphhih7LP9yQmqW/
JDEIM30LtjOwq8Muisp72upJRp0GE/+5spmQeCM51osttNPjvHcdAVng6SMfdf8X
d7m9Oeu0fjUpNJK1zmBfDo1CWbn/AsTYJiXt4b5cRsgfLAvZg3d6CIu78xv2egVv
MyIMWbNpE4kubWwgAqGw878PInwsD93ol9aFVGzJIcw2GdYRngLkJjq8gwvHMYEE
j0rtqclv8qrLSzI4tTKvkIJN6x+S9BYF4SgVYga6Mj4uK0T5As7UxjRmD8TJAuM=
=DQVF
-----END PGP SIGNATURE-----
|
GitWeb
