* [gentoo-dev] Re: math-proof herd
[not found] <200707151348.11424.phreak@gentoo.org>
@ 2007-07-15 22:03 99% ` George Shapovalov
0 siblings, 0 replies; 1+ results
From: George Shapovalov @ 2007-07-15 22:03 UTC (permalink / raw
To: phreak; +Cc: sci, gentoo-dev
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
--
gentoo-dev@gentoo.org mailing list
^ permalink raw reply [relevance 99%]
Results 1-1 of 1 | reverse | options above
-- pct% links below jump to the message on this page, permalinks otherwise --
[not found] <200707151348.11424.phreak@gentoo.org>
2007-07-15 22:03 99% ` [gentoo-dev] Re: math-proof herd George Shapovalov
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox