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  would be more appropriate, IMHO, in particular when
> ScienceMathematics is getting crowded.
>  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