Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 397995 - isabelle proof assistant
Summary: isabelle proof assistant
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: AMD64 Linux
: Normal enhancement (vote)
Assignee: Mark Wright
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2012-01-07 11:17 UTC by Mark Wright
Modified: 2012-01-08 12:43 UTC (History)
0 users

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


Attachments
isabelle 2011-1 ebuild (isabelle-2011.1.ebuild,3.88 KB, text/plain)
2012-01-08 12:32 UTC, Mark Wright
Details
metadata with package and use flag descriptions (metadata.xml,1.82 KB, text/plain)
2012-01-08 12:33 UTC, Mark Wright
Details
browser build patch (isabelle-2011.1-graphbrowser.patch,358 bytes, text/plain)
2012-01-08 12:34 UTC, Mark Wright
Details
use gentoo proof general patch (isabelle-2011.1-proofgeneral-gentoo-path.patch,1.24 KB, text/plain)
2012-01-08 12:34 UTC, Mark Wright
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Mark Wright gentoo-dev 2012-01-07 11:17:31 UTC
I intend to add sci-mathematics/isabelle to the cvs portage tree, my
ebuild is based on prior work:
http://forums.gentoo.org/viewtopic-t-735599-start-0.html


Reproducible: Didn't try
Comment 1 Mark Wright gentoo-dev 2012-01-08 12:32:28 UTC
Created attachment 298313 [details]
isabelle 2011-1 ebuild
Comment 2 Mark Wright gentoo-dev 2012-01-08 12:33:40 UTC
Created attachment 298315 [details]
metadata with package and use flag descriptions
Comment 3 Mark Wright gentoo-dev 2012-01-08 12:34:06 UTC
Created attachment 298317 [details]
browser build patch
Comment 4 Mark Wright gentoo-dev 2012-01-08 12:34:41 UTC
Created attachment 298319 [details]
use gentoo proof general patch
Comment 5 Mark Wright gentoo-dev 2012-01-08 12:43:26 UTC
Added sci-mathematics/isabelle-2011.1 to portage.