sci-mathematics/isabelle: Remove old
authorMark Wright <gienah@gentoo.org>
Sat, 28 Jan 2017 08:31:25 +0000 (19:31 +1100)
committerMark Wright <gienah@gentoo.org>
Sat, 28 Jan 2017 08:31:25 +0000 (19:31 +1100)
commited679cff58321c6cd8757ba8d7a5d29b463bd6f9
tree0f7063577c9720af0aa854199c35df4f5105a08f
parent5d6a2bc445660738302562f0a4897f5702086b8d
sci-mathematics/isabelle: Remove old

Package-Manager: portage-2.3.3
sci-mathematics/isabelle/Manifest
sci-mathematics/isabelle/files/isabelle-2012-libsha1.patch [deleted file]
sci-mathematics/isabelle/files/isabelle-2013-gentoo-settings.patch [deleted file]
sci-mathematics/isabelle/files/isabelle-2013.2-HOL-Predicate_Compile_Examples.patch [deleted file]
sci-mathematics/isabelle/files/isabelle-2015-classpath.patch [deleted file]
sci-mathematics/isabelle/files/isabelle-2015-jfreechart-classpath.patch [deleted file]
sci-mathematics/isabelle/isabelle-2015.ebuild [deleted file]
sci-mathematics/isabelle/metadata.xml