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

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
DIST Isabelle2011-1.tar.gz 42239059 RMD160 70dadeaf38ae71ff9871f8c5b9ba823c4d5cbcc7 SHA1 2f514bc2cff7e7f7c75a3cb15c71ea71009f8df7 SHA256 48d77fe31a16b44f6015aa7953a60bdad8fcec9e60847630dc7b98c053edfc08
EBUILD isabelle-2011.1.ebuild 4034 RMD160 04e86aaa19d53abea7f95026f571cb43a3149be8 SHA1 746cf8f99a8c766982604000fe983a0bd7bae50e SHA256 172afc21e4f6a30b7f4cd583278c1b424d6ae2d166cf286986bcaae6ab786f3c
MISC ChangeLog 719 RMD160 50d862c57fdb0235e9bb50a162223b15551eadc7 SHA1 0f63dc9cd44992ea4680abc0cc6ad52ced353bf0 SHA256 31adf8c2b7e31a98f2e504923c71438d0c44889fe593aa3b589551636267850a
MISC metadata.xml 1865 RMD160 6da50a4518e0bc23b6e6e5e540d8c4d47e71d74f SHA1 2e018687c48c173777159b28921d7d01a69b4ab9 SHA256 1a9f11e26050e0236ff9017d14b67ef7fd1a440cd4e865dbdf0b6cf1ddb2ff82
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.17 (GNU/Linux)

iF4EAREIAAYFAk8K8G8ACgkQoBEVQmGOlx+RywD/R8qR/b+t17Q3CmXZ6wblhF4h
9SEjxovPgJ8cm/NplbEA/1oMbDhj7oaiUeTvyfjyzZKche4c4hYpmmDJwcZ9HZVR
=qw+d
-----END PGP SIGNATURE-----