projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aa7cd35) | patch
Bump isabelle to 2013.2. Fix Bug 536324 - sci-mathematics/isabelle: Slot dependencies...
authorMark Wright <gienah@gentoo.org>
Sun, 25 Jan 2015 13:08:38 +0000 (13:08 +0000)
committerMark Wright <gienah@gentoo.org>
Sun, 25 Jan 2015 13:08:38 +0000 (13:08 +0000)
commit633e282ca27999edcd843fb6fc936e7e27cf6ff8
tree758fe68f32107a5de8fb2f2e32dbbb173ee03a69tree | snapshot
parentaa7cd352dd42da349cdfb9facb4961bfd932cd1fcommit | diff
Bump isabelle to 2013.2. Fix Bug 536324 - sci-mathematics/isabelle: Slot dependencies for java packages. Add upper range dependency <dev-lang/scala-2.11.1 to 2013-r1.

Package-Manager: portage-2.2.15/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F
sci-mathematics/isabelle/ChangeLog diff | blob | history
sci-mathematics/isabelle/Manifest diff | blob | history
sci-mathematics/isabelle/files/isabelle-2013.2-HOL-Predicate_Compile_Examples.patch [new file with mode: 0644] blob
sci-mathematics/isabelle/files/isabelle-2013.2-classpath.patch [new file with mode: 0644] blob
sci-mathematics/isabelle/isabelle-2013-r1.ebuild diff | blob | history
sci-mathematics/isabelle/isabelle-2013.2.ebuild [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.