-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

AUX isabelle-2011.1-gentoo-settings.patch 1265 RMD160 9060454ab5480056b931b7a663137c80efa73b42 SHA1 e447977ddfbf08de46695f7b63e0ce2af3b55ac5 SHA256 08f6dae3f3157331ac83a3204f95e75838725175994c54f25b5f71715836556a
AUX isabelle-2011.1-graphbrowser.patch 358 RMD160 debe029504aad72c611f783569ca6e5e07d6fcfa SHA1 5067aa4f60a9185d6b7ca2e4d9511dd93ed6f239 SHA256 3c4a1567e06ea062f3064a7fb4555a645591732dc2d77daf7b4c49de6f640115
AUX isabelle-2011.1-proofgeneral-gentoo-path.patch 1265 RMD160 9060454ab5480056b931b7a663137c80efa73b42 SHA1 e447977ddfbf08de46695f7b63e0ce2af3b55ac5 SHA256 08f6dae3f3157331ac83a3204f95e75838725175994c54f25b5f71715836556a
AUX isabelle-2011.1-reverse-line-editor-order.patch 427 RMD160 b3c672e939541e3eeb2f4a866628c668cd5d2898 SHA1 9095831f761de457915a10a5391a260de4b8b910 SHA256 1a664c94d400d88dfa5af9af3bdb4c90bacd12792286b3c4933f62ca15e5b9a0
AUX isabelle-2012-gentoo-settings.patch 2107 RMD160 4ebd777b8c498a833d0264ddf67f367003a424f2 SHA1 b073aae7982a29bfc200c985e53051b882f3aa7d SHA256 5076d6665b367a9b08a2e56ba901028e90910a444c2c02322ebf8d9d9ac328b1
AUX isabelle-2012-graphbrowser.patch 354 RMD160 68eaee7f3e8c8b92f608cf5936ea8a4315634b41 SHA1 508be51f17ad6bf08d5df71535298f42177a736a SHA256 0b6d3a3736ec89ad870ef24bb2ba3c2006a907e1a29a113e3f63a5ad609ec4b7
AUX isabelle-2012-redundant-equations-in-function-definitions-error.patch 1319 RMD160 6b188f257c3736d86dda9903c45d9dfa2123b618 SHA1 999028e7f3ea4a184b7311a200ea0cff2c038134 SHA256 87d766c5140708710935bc4156fddb8901a80fa5462d22974290f85bc13b4038
AUX isabelle-2012-reverse-line-editor-order.patch 423 RMD160 6a51017a64f70fde99decfb2e0b09e281836ec6b SHA1 ff5945dd644dba3b0fd0fcd49ec793e9bf10c2ae SHA256 51a172b46baaaa269488801bad3d46ba4ccd0e3df35b2c15dc9b75592ceb843e
AUX isabelle-2012-signal-handling.patch 457 RMD160 a42238e2c6fba50087d1231987fddf2613ed154d SHA1 3d8fbab8cc85f0985871e8fdabc308a800cf1737 SHA256 df6e274300a8ac440fa140c7bdb130c42191a45b40067bac46fcf8141861df6f
DIST Isabelle2011-1.tar.gz 42239059 RMD160 70dadeaf38ae71ff9871f8c5b9ba823c4d5cbcc7 SHA1 2f514bc2cff7e7f7c75a3cb15c71ea71009f8df7 SHA256 48d77fe31a16b44f6015aa7953a60bdad8fcec9e60847630dc7b98c053edfc08
DIST Isabelle2012-doc-src.tar.gz 2688496 RMD160 cbef295dc2f6b27ab32815b9395dc38f0f344ea8 SHA1 2ed623a40488b7c200282457c240af575fe4b3e6 SHA256 e18965fe0f7f89b286d4707e38201f1edbea81f6b26aed59d63a633c03fec097
DIST Isabelle2012.tar.gz 49529865 RMD160 62de99689ba65e2d4ff02d9590397db3d3115cf0 SHA1 9ec664d48bb15b679c7316820aa03ba37d6fc56b SHA256 b86f957dee221041f92c9d4ced4758d45b4950339743d0d58b1ea6061e2b53f0
DIST jedit_build-20120414.tar.gz 7509120 RMD160 f3977207db8df6ccaf85015640a938cc3a475c4c SHA1 6425f622625024c1de27f3730d6811f6370a19cd SHA256 3c5840fd01b87013b05a92742d41f66f655df6fe9edef1525c6722f92d8f3e41
EBUILD isabelle-2011.1-r1.ebuild 7158 RMD160 a6638676fb40ef87eb2ed3076b8618a451c641d7 SHA1 dfcdf9aa011a72236c5718bc16b08c31d45498fa SHA256 4a751a8893be2d92e4e1d709209ee94f68f3555e73c045136fb41ea83b918a1c
EBUILD isabelle-2011.1.ebuild 4036 RMD160 363ef11acf50946dcde1151643e053d7c1064339 SHA1 cc9e14c8b1893c03d2efcdfd0262710b23d725e3 SHA256 6063b32c39e50c42e81051197ce46a735bb16448c13b5ff1f8af5018f07b3020
EBUILD isabelle-2012.ebuild 10080 RMD160 176c79f35fa5550e2b86710e8838d0d5fafab3b9 SHA1 51dca0b5e83c2909213de6655ac5e23c5080267b SHA256 310f2f53477b461184da3b39a41b622205aac41f180ff7724cd21714974146cb
MISC ChangeLog 2189 RMD160 bc5bed517275cb98dc94a594f735097e35b0fb45 SHA1 39a8d1ef8dd945e9717240243a518ed842665161 SHA256 940938ec2179ea754503ebaa31865d6bb619c2e9744e5f4ad9f3abd9ae8c6740
MISC metadata.xml 2157 RMD160 ee8247053938f0b3686a6e0ea8dbfe0cf925a700 SHA1 459ec3cc74b389f410d26c2da55bb89a5d842a11 SHA256 bdcce608d1d69f75e4aa0c809f85885dd025cd9ed2c1a12552a446033c4a7fa6
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.17 (GNU/Linux)

iF4EAREIAAYFAk/bQm0ACgkQoBEVQmGOlx+pZAEAwfmhDzkQ6Xs89Es6xhfe8D3N
BZjhgU+RZmrRsf7cDvsBAL8s9xF7a2iI6oAgnL0+vlvXWITCTHmfo+ISt/X5KJfe
=u1hX
-----END PGP SIGNATURE-----