Bug 138059

Summary:	Scientific Gentoo reorg: math-proof herd - anybody wants to take over?
Product:	Gentoo Linux	Reporter:	George Shapovalov (RETIRED) <george>
Component:	[OLD] Unspecified	Assignee:	Gentoo Science Related Packages <sci>
Status:	RESOLVED FIXED
Severity:	normal	CC:	mattam, nattfodd
Priority:	High
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Bug Depends on:
Bug Blocks:	138049

Description George Shapovalov (RETIRED) gentoo-dev

2006-06-26 08:23:56 UTC

This one seems good to go. 

Alexandre Buisse <nattfodd@gentoo.org> has expressed interest, "As far as I know, there is only coq, but I am working on adding agda, and we'll see from there..."

Right now good for a herd. More packages may be added in perspective, making it a category, but this is for the maintainers to decide..

George

Comment 1 Alexandre Buisse (RETIRED) gentoo-dev

2006-06-26 08:54:22 UTC

@mattam: is it ok if I add coq as part of the math-proof herd? I can take over maintainship too if you want.

After a quick check of the contents of sci-mathematics, there is also otter, with no one in metadata.xml.

The list of software we could add is quite long, too...

Comment 2 Matthieu Sozeau (RETIRED) gentoo-dev

2006-06-26 13:37:28 UTC

No problem for moving Coq. I can keep the maintainership. I don't know about otter.

Comment 3 Luis Medinas (RETIRED) gentoo-dev

2006-07-01 07:28:45 UTC

guys if you need help with octave i'm available since i use it almost everyday i know very much the application (a long with matlab).

Comment 4 Alexandre Buisse (RETIRED) gentoo-dev

2006-07-12 06:25:29 UTC

Just letting you know that I've added agda a few moments ago. Next in line is alfa (among other things, it provides a GUI for agda) and after that, isabel I guess, unless someone requests a specific package.

Comment 5 George Shapovalov (RETIRED) gentoo-dev

2007-07-15 21:15:01 UTC

nattfodd has been retired and there are only three packages under it atm. Unless anybody steps up it makes sense to simply revert these packages to be under plain sci and delete the herd. If anybody wants to take over, please leave a comment. Otherwise this will be cleaned up in about two weeks.

George

Comment 6 Steve L 2007-07-16 17:36:20 UTC

Well I am interested but I am not a dev, nor am I interested in being one atm (you'll no doubt be relieved to know ;) Not sure if a herd is needed; what were your reasons for establishing one in the first place? sci-mathematics sounds fine to me.
(yes i read the other bug, jakub ;)

Comment 7 Christian Heim (RETIRED) gentoo-dev

2007-07-31 21:59:43 UTC

These just got themselves reassigned to sci:
               sci-mathematics/agda
               sci-mathematics/coq
               sci-mathematics/otter