From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from lists.gentoo.org ([140.105.134.102] helo=robin.gentoo.org) by nuthatch.gentoo.org with esmtp (Exim 4.62) (envelope-from ) id 1IACHH-0004NI-TC for garchives@archives.gentoo.org; Sun, 15 Jul 2007 22:09:20 +0000 Received: from robin.gentoo.org (localhost [127.0.0.1]) by robin.gentoo.org (8.14.0/8.14.0) with SMTP id l6FM7id9007272; Sun, 15 Jul 2007 22:07:44 GMT Received: from mbox.unige.ch (mbox.unige.ch [129.194.9.209]) by robin.gentoo.org (8.14.0/8.14.0) with ESMTP id l6FM3BF5032221 for ; Sun, 15 Jul 2007 22:03:11 GMT Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-dev@gentoo.org Reply-to: gentoo-dev@lists.gentoo.org MIME-version: 1.0 Content-disposition: inline Content-type: text/plain; charset=utf-8 Received: from [192.168.1.11] ([194.50.85.244]) by mbox.unige.ch (Sun Java(tm) System Messaging Server 6.3-1.04 (built May 9 2007; 32bit)) with ESMTPSA id <0JL800B8WQLAK740@mbox.unige.ch> for gentoo-dev@lists.gentoo.org; Mon, 16 Jul 2007 00:03:11 +0200 (CEST) From: George Shapovalov To: phreak@gentoo.org Subject: [gentoo-dev] Re: math-proof herd User-Agent: KMail/1.9.7 Cc: sci@gentoo.org, gentoo-dev@lists.gentoo.org References: <200707151348.11424.phreak@gentoo.org> In-reply-to: <200707151348.11424.phreak@gentoo.org> Organization: Gentoo Linux X-Face: 4Rd)1/:bMGRby_[I4NY3u,g|=7e?V_VX?tkj,_ct-U4B#_-EEu_/wyvCWFsvDa<=?utf-8?q?D/=3A8bHX=0A=09y?=)m@s7@Ow=\_f^T>}LP_Rk2%phL7r5%sxXze`X/A_:8tz&|"*2^="=?utf-8?q?=5CZFo3=26+=27UGNhVu=23=5Dg=0A=09=5B?=<<~4glvaJa'ZEXW_#@LWa,OhxVN"r|/1P:`IL8=rciHKGxevczUO{X!r%,a Date: Mon, 16 Jul 2007 00:03:07 +0200 Message-id: <200707160003.08207.george@gentoo.org> Content-transfer-encoding: quoted-printable X-Archives-Salt: c3ce75b3-90b5-425a-88e6-eb2c70b6ea6e X-Archives-Hash: 249d3918bcb14243136393e18e05dcd6 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 expect= ed=20 to do. Considering that, I agree that the packages should simply be (back)= =20 migrated to under plain sci, unless someone expresses interest in keeping t= he=20 herd alive (or even creating category which would, naturally, need even mo= re=20 packages). I'll reopen that bug (https://bugs.gentoo.org/show_bug.cgi?id=3D138059) and I think it makes sense to keep it open for a week or so. If anybody is= =20 interested, please comment on that bug. If nobody does, sure, go ahead and= =20 reassign the packages and delete the math-proof herd, or I can do this in=20 about two weeks (likely already in Aug, as I am gong to be "on the move" fo= r=20 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 =D0=92=D0=B8 =D0=BD=D0=B0=D0=BF=D0=B8= =D1=81=D0=B0=D0=BB=D0=B8: > 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 he= rd > ? > > 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