First Last Prev Next    No search results available      Search page      Enter new bug
Bug#: 138059
Alias:
Product:
Component:
Status: RESOLVED
Resolution: FIXED
Assigned To: Gentoo Science Related Packages <sci@gentoo.org>
Hardware:
OS:
Version:
Priority:
Severity:
Reporter: George Shapovalov <george@gentoo.org>
Add CC:
CC:
Remove selected CCs
URL:
Summary:
Status Whiteboard:
Keywords:

Filename Description Type Creator Created Size Actions
Create a New Attachment (proposed patch, testcase, etc.) View All

Bug 138059 depends on: Show dependency tree
Show dependency graph
Bug 138059 blocks: 138049
Votes: 0    Show votes for this bug    Vote for this bug

Additional Comments: (this is where you put emerge --info)







View Bug Activity   |   Format For Printing   |   XML   |   Clone This Bug

Description:   Opened: 2006-06-26 08:23 0000 
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 From Alexandre Buisse (RETIRED) 2006-06-26 08:54:22 0000 ------- 
@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 From Matthieu Sozeau (RETIRED) 2006-06-26 13:37:28 0000 ------- 
No problem for moving Coq. I can keep the maintainership. I don't know about
otter.

------- Comment #3 From Luis Medinas (RETIRED) 2006-07-01 07:28:45 0000 ------- 
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 From Alexandre Buisse (RETIRED) 2006-07-12 06:25:29 0000 ------- 
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 From George Shapovalov 2007-07-15 21:15:01 0000 ------- 
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 From Steve L 2007-07-16 17:36:20 0000 ------- 
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 From Christian Heim (RETIRED) 2007-07-31 21:59:43 0000 ------- 
These just got themselves reassigned to sci:
               sci-mathematics/agda
               sci-mathematics/coq
               sci-mathematics/otter
First Last Prev Next    No search results available      Search page      Enter new bug