Resending, as it seems gmail eats my outcoming mail.. Hi Christian.
The corresponding bug is #138059, quoting nattfodd: "The list of software we could add is quite long, too..." Well, looks like the herd did not collect as many packages as it was expected to do. Considering that, I agree that the packages should simply be (back) migrated to under plain sci, unless someone expresses interest in keeping the herd alive (or even creating category which would, naturally, need even more packages). I'll reopen that bug (https://bugs.gentoo.org/show_bug.cgi?id=138059) and I think it makes sense to keep it open for a week or so. If anybody is interested, please comment on that bug. If nobody does, sure, go ahead and reassign the packages and delete the math-proof herd, or I can do this in about two weeks (likely already in Aug, as I am gong to be "on the move" for the large part of two coming weeks).. George PS Added gentoo-dev to CC so that more devs might take a note. Sunday, 15. July 2007, Christian Heim Ви написали: > Dear George, I'm just looking through herds.xml in light of nattfodd's > retirement and I stumbled upon the math-proof herd which only contains > nattfodd as a member, no-one else. > > So my question to you is, should I rather delete the herd and assign the > packages back to sci or add the sci herd as a member of the math-proof herd > ? > > I'd rather go with moving the package back to the sci herd, since its only > those three: > - sci-mathematics/agda > - sci-mathematics/coq > - sci-mathematics/otter > > Thanks and regards, > > Christian -- [EMAIL PROTECTED] mailing list
