[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Bug#672480: ITP: prooftree -- proof tree visualization for Proof General



On Mon, May 14, 2012 at 08:33:01PM +0200, Ralf Treinen wrote:
> > Regarding the split into separate meta-packages:  While I agree that
> > science-mathematics becomes a bit crowded I'm not fully sure that we
> > should keep on maintaining mathematical packages under the Debian
> > Science umbrella.  I'd rather vote for some math-* tasks which enables
> > mor fine grained tasks (same probably for physics).
> >  
> > Any opinions?
> 
> ScienceLogic [1] would be more appropriate, IMHO, in particular when
> ScienceMathematics is getting crowded. 
> 
> [1] http://wiki.debian.org/DebianScience/Logic

I don't care for the name - I care for

   1. the code (for instance in terms of Blends metadata)
   2. people who are doing the work

I Wiki is finally not helpfull becuase it has no structured data, needs
manual intervention and is hidden from the package management system on
user machines.

Kind regards

         Andreas.

-- 
http://fam-tille.de


Reply to: