Gentoo Archives: gentoo-dev

From: George Shapovalov <george@g.o>
To: phreak@g.o
Cc: sci@g.o, gentoo-dev@l.g.o
Subject: [gentoo-dev] Re: math-proof herd
Date: Sun, 15 Jul 2007 22:09:20
Message-Id: 200707160003.08207.george@gentoo.org
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