100644 blob f3bd2a8ec89292e9095a393db9128973f4068f29	Manifest
040000 tree 942876384b1fe63e3c0c07c4f8b7a1e326a08bd1	files
100644 blob 6b96bcb57260d650a863887d1610b3a080ef1426	isabelle-2011.1-r2.ebuild
100644 blob f0e0c82faab2416dc04fdeb790cdbf6e3e55657a	isabelle-2011.1.ebuild
100644 blob 087bb7e2480e8dabd73ab1ebdc1d6291a71711d6	isabelle-2012-r1.ebuild
100644 blob 6b5c7f622f8c5d331c7a8168ff7b35aa7d4cebe8	isabelle-2013-r2.ebuild
100644 blob 601509a8b37a9810973d08295eb55008fc9da5b4	isabelle-2013.2-r1.ebuild
100644 blob b1da3cf49700818e8e78e7d1eb781cb21d465ebc	metadata.xml