Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 468344 - sci-mathematics/isabelle-2013 version bump
Summary: sci-mathematics/isabelle-2013 version bump
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Mark Wright
URL:
Whiteboard:
Keywords:
Depends on: 450298
Blocks:
  Show dependency tree
 
Reported: 2013-05-03 00:40 UTC by Keshav Kini
Modified: 2013-08-31 09:25 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Keshav Kini 2013-05-03 00:40:19 UTC 
Current upstream version is 2013, portage tree version is 2012.

Code at http://www.cl.cam.ac.uk/research/hvg/Isabelle/installation.html .
Comment 1 Mark Wright gentoo-dev 2013-05-24 06:25:04 UTC 
Requires >=dev-lang/scala-2.10.0
Comment 2 Mark Wright gentoo-dev 2013-08-31 09:25:07 UTC 
Isabelle 2013 added to portage.