public inbox for gentoo-dev@lists.gentoo.org
 help / color / mirror / Atom feed
From: George Shapovalov <george@gentoo.org>
To: phreak@gentoo.org
Cc: sci@gentoo.org, gentoo-dev@lists.gentoo.org
Subject: [gentoo-dev] Re: math-proof herd
Date: Mon, 16 Jul 2007 00:03:07 +0200	[thread overview]
Message-ID: <200707160003.08207.george@gentoo.org> (raw)
In-Reply-To: <200707151348.11424.phreak@gentoo.org>

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



           reply	other threads:[~2007-07-15 22:09 UTC|newest]

Thread overview: expand[flat|nested]  mbox.gz  Atom feed
 [parent not found: <200707151348.11424.phreak@gentoo.org>]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=200707160003.08207.george@gentoo.org \
    --to=george@gentoo.org \
    --cc=gentoo-dev@lists.gentoo.org \
    --cc=phreak@gentoo.org \
    --cc=sci@gentoo.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox