Bug 397995

Summary:	isabelle proof assistant
Product:	Gentoo Linux	Reporter:	Mark Wright <gienah>
Component:	New packages	Assignee:	Mark Wright <gienah>
Status:	RESOLVED FIXED
Severity:	enhancement
Priority:	Normal
Version:	unspecified
Hardware:	AMD64
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	isabelle 2011-1 ebuild metadata with package and use flag descriptions browser build patch use gentoo proof general patch

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.