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.60) (envelope-from ) id 1Fusjb-0005Ko-1F for garchives@archives.gentoo.org; Mon, 26 Jun 2006 15:10:43 +0000 Received: from robin.gentoo.org (localhost [127.0.0.1]) by robin.gentoo.org (8.13.7/8.13.6) with SMTP id k5QF880U027763; Mon, 26 Jun 2006 15:08:08 GMT Received: from anubis.medic.chalmers.se (anubis.medic.chalmers.se [129.16.30.218]) by robin.gentoo.org (8.13.7/8.13.6) with ESMTP id k5QF7pWp027791; Mon, 26 Jun 2006 15:07:51 GMT X-Medic-Info: 45ed.449ff846.0 yGPwJPIH1Rtp2mHf nodot-helo dynamic-client Received: from localhost (wavelan105.doc.ic.ac.uk [146.169.25.105]) by mail.chalmers.se (Postfix) with ESMTP id EA6621A6E1; Mon, 26 Jun 2006 17:07:50 +0200 (CEST) Date: Mon, 26 Jun 2006 17:09:09 +0200 From: Alexandre Buisse To: gentoo-dev@lists.gentoo.org Cc: gentoo-science@lists.gentoo.org Subject: [gentoo-science] Re: [gentoo-dev] Scientific Gentoo reorg: the proposal Message-ID: <20060626150909.GA22327@ubik> References: <200606252046.03386.george@gentoo.org> Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-science@gentoo.org Reply-to: gentoo-science@lists.gentoo.org Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="AqsLC8rIMeq19msA" Content-Disposition: inline In-Reply-To: <200606252046.03386.george@gentoo.org> X-Operating-System: Linux 2.6.17-ubik i686 User-Agent: Mutt/1.5.11 X-Archives-Salt: dd38a4db-311b-4836-ae1c-e8716a20a0f2 X-Archives-Hash: 1457889b2c19d9711f498331d275882e --AqsLC8rIMeq19msA Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Mon, Jun 26, 2006 at 14:26:16 +0200, George Shapovalov wrote: > sci-mathematics: 34 > Ok size. There were calls to split it into symbolic and numeric, also -pr= oof=20 > was suggested (but I understand the packages for that one are not in the = tree=20 > yet). 3-tier categories might be nice here :) (as in sci-math-symbolic,= =20 > sci-math-numeric..). devs: > plasmaroo, agriffis?, mattam, cryos, ribosome?, markusle, spock, phosphan Sign me up for sci-proof (even if it is only a subset of sci-mathematics). As far as I know, there is only coq, but I am working on adding agda, and we'll see from there... Regards, /Alexandre --=20 Hi, I'm a .signature virus! Please copy me in your ~/.signature. --AqsLC8rIMeq19msA Content-Type: application/pgp-signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.3 (GNU/Linux) iD8DBQFEn/iVwx9vvAARv2sRAvX3AKC7oH9aBGDjwIcodDvBllGc+HtlSACgl0pN +B+gkU4H622M0u+/V/533Ng= =vLyf -----END PGP SIGNATURE----- --AqsLC8rIMeq19msA-- -- gentoo-science@gentoo.org mailing list