1 |
Resending, as it seems gmail eats my outcoming mail.. |
2 |
|
3 |
Hi Christian. |
4 |
|
5 |
The corresponding bug is #138059, quoting nattfodd: |
6 |
"The list of software we could add is quite long, too..." |
7 |
|
8 |
Well, looks like the herd did not collect as many packages as it was expected |
9 |
to do. Considering that, I agree that the packages should simply be (back) |
10 |
migrated to under plain sci, unless someone expresses interest in keeping the |
11 |
herd alive (or even creating category which would, naturally, need even more |
12 |
packages). |
13 |
|
14 |
I'll reopen that bug |
15 |
(https://bugs.gentoo.org/show_bug.cgi?id=138059) |
16 |
and I think it makes sense to keep it open for a week or so. If anybody is |
17 |
interested, please comment on that bug. If nobody does, sure, go ahead and |
18 |
reassign the packages and delete the math-proof herd, or I can do this in |
19 |
about two weeks (likely already in Aug, as I am gong to be "on the move" for |
20 |
the large part of two coming weeks).. |
21 |
|
22 |
George |
23 |
|
24 |
PS |
25 |
Added gentoo-dev to CC so that more devs might take a note. |
26 |
|
27 |
Sunday, 15. July 2007, Christian Heim Ви написали: |
28 |
> Dear George, I'm just looking through herds.xml in light of nattfodd's |
29 |
> retirement and I stumbled upon the math-proof herd which only contains |
30 |
> nattfodd as a member, no-one else. |
31 |
> |
32 |
> So my question to you is, should I rather delete the herd and assign the |
33 |
> packages back to sci or add the sci herd as a member of the math-proof herd |
34 |
> ? |
35 |
> |
36 |
> I'd rather go with moving the package back to the sci herd, since its only |
37 |
> those three: |
38 |
> - sci-mathematics/agda |
39 |
> - sci-mathematics/coq |
40 |
> - sci-mathematics/otter |
41 |
> |
42 |
> Thanks and regards, |
43 |
> |
44 |
> Christian |
45 |
-- |
46 |
gentoo-dev@g.o mailing list |