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 1FrnV0-0003K5-4U for garchives@archives.gentoo.org; Sun, 18 Jun 2006 02:58:54 +0000 Received: from robin.gentoo.org (localhost [127.0.0.1]) by robin.gentoo.org (8.13.7/8.13.6) with SMTP id k5I2vnC3001923; Sun, 18 Jun 2006 02:57:49 GMT Received: from web31714.mail.mud.yahoo.com (web31714.mail.mud.yahoo.com [68.142.201.194]) by robin.gentoo.org (8.13.7/8.13.6) with SMTP id k5I2vm4W025281 for ; Sun, 18 Jun 2006 02:57:48 GMT Received: (qmail 42811 invoked by uid 60001); 18 Jun 2006 02:57:46 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:Received:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=V7wARPE7zHEOS9Syk4T85UU8gTbrIbKf3GxeKY31qZO5Veikg8FdYWnlqftrXy0YSmxu9KaUxPv82WaC/PUOpZAbi42Vjd9n0wp0MNCzd2Ive6V7tv3hrj/2t9DbkB1Xf/eZbceKKsYja/80b9rqyzGHU1iLB/GeVJzZZieUP1A= ; Message-ID: <20060618025746.42809.qmail@web31714.mail.mud.yahoo.com> Received: from [216.174.43.195] by web31714.mail.mud.yahoo.com via HTTP; Sat, 17 Jun 2006 19:57:46 PDT Date: Sat, 17 Jun 2006 19:57:46 -0700 (PDT) From: C Y Subject: Re: [gentoo-science] Scientific Gentoo reorg To: gentoo-science@lists.gentoo.org In-Reply-To: <200606171925.20119.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: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Archives-Salt: 430fe4bc-e18f-41f3-8842-f6763a572380 X-Archives-Hash: 576f7e0ab2d0eda58666e8c1cf687ff9 --- George Shapovalov wrote: > > So, right now I would like to ask for the feedback on the following: [snip - too far out of the loop right now to have a useful opinion :-(] > Q3) Not relevant to this restructuring, but always usefull: if you > know of some package that you think should really go under sci- > something, please let us know! Unfortunately I am not really in a good position to comment - my gentoo box (my only home computer) has been of the net for many months and I am so far behind on current trends it is scary. In the past I have been involved with the Maxima, Axiom, and BRL-CAD ebuilds. The latter should be in a sci-cad categorization if one doesn't exist yet (I know, I know - not much CAD on Linux. Still, I'd call it a very logical category. I think there are a couple more out there somewhere besides QCAD and BRL-CAD, and I think I may have even listed them somewhere... SALOME comes echoing back out of the mists to me as something that might be interesting.) As for Axiom and Maxima (along with the wxmaxima GUI) they belong in sci-symbolic or maybe sci-symbolicmath (I wish it could be sci-math-symbolic, which is also the google newsgroup name, but I'm sure that violates some naming rule). A general question I would like to put to the sci list - there exist a significant number of programs which might be catagorized as proof software (there are several subtypes) and are freely available. I have wanted to see these in Gentoo for quite a while (nor am I alone - I see a bug requesting the HOL theorem proof assistant from 2004) but I don't know if there even exists a category for this type of program. Would it be sci? Perhaps sci-computer? I think there have not been a flood of ebuilds for these programs because as a rule they tend to be difficult to build (for some reason they don't usually follow the normal configure-make-make_install procedure we all know and love) but they are exceedingly powerful and I think their inclusion in Gentoo would be a Good Thing. A particular focus of interest is Isabelle: http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ I attempted to build this once but met with complete failure - perhaps after I get back on the net I can try to figure it out again. Cheers, CY __________________________________________________ Do You Yahoo!? Tired of spam? Yahoo! Mail has the best spam protection around http://mail.yahoo.com -- gentoo-science@gentoo.org mailing list