Re: Bug#516545: ITP: eprover -- The Equational Theorem Prover E

2009-02-22 Thread Andreas Tille
Hi, this seems like a nce target for Debian Science Mathematics section. Petr, do you consider putting the package under Debian Science team maintenance? Kind regards Andreas. On Sun, 22 Feb 2009, Petr Pudlak wrote: Package: wnpp Severity: wishlist Owner: Petr Pudlak d...@pudlak.name

Re: Bug#516545: ITP: eprover -- The Equational Theorem Prover E

2009-02-22 Thread Andreas Tille
On Sun, 22 Feb 2009, Petr Pudlak (Debian) wrote: yes, I thought that it would be a good idea, but I couldn't find exact guidelines how to do it. (Maybe it's just because I'm a bit tired after spending the whole weekend reading Debian documentation.) I can package eprover according to

RFH: brlcad - powerful combinatorial Constructive Solid Geometry (CSG)

2009-02-22 Thread Giuseppe Iuculano
Hi, brlcad is a complex package so... I'd like to maintain with the help of the debian-science team. I moved the git repository on debian-science/packages/brlcad.git: URL git://git.debian.org/debian-science/packages/brlcad.git

Re: Bug#516627: ITP: fudgit -- A double-precision multi-purpose fitting program

2009-02-22 Thread Andreas Tille
Hi Jan, this might be an interesting add on for Debian Science Viewing task. Would you consider group maintenance in the Debian Science team? Kind regards Andreas. On Sun, 22 Feb 2009, Jan Hendrik den Besten wrote: Package: wnpp Severity: wishlist Owner: Jan Hendrik den Besten

Re: Bug#516627: ITP: fudgit -- A double-precision multi-purpose fitting program

2009-02-22 Thread Andreas Tille
On Sun, 22 Feb 2009, Jan Hendrik den Besten wrote: Fudgit would be my first package to maintain. I feel I must gain some experience in that first - before I take up other tasks. Well, nobody is forcing you to join a team - you are perfectly free to do so. But I feel some inconsitency in your