Bug#517943: ITP: libchemistry-formula-perl -- enumerate elements in a chemical formula (fwd)

2009-03-03 Thread Andreas Tille
FYI. Does anybody volunteer to edit the tasks/chemestry file? Kind regards Andreas. -- Forwarded message -- Date: Mon, 02 Mar 2009 20:54:54 -0600 From: Carlo Segre se...@debian.org To: Debian Bug Tracking System sub...@bugs.debian.org Subject: Bug#517943: ITP:

Re: Bug#517943: ITP: libchemistry-formula-perl -- enumerate elements in a chemical formula (fwd)

2009-03-03 Thread Michael Banck
On Tue, Mar 03, 2009 at 08:59:35AM +0100, Andreas Tille wrote: FYI. Does anybody volunteer to edit the tasks/chemestry file? I'm not sure this should be added to task files until it is used by applications. Or do you consider this an end-user application (AFAICT, this is a perl module)?

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

2009-03-03 Thread Petr Pudlak (Debian)
Hi Andreas, everybody, I moved the package into the git repository: Vcs-Git: git://git.debian.org/git/debian-science/packages/eprover.git Vcs-Browser: http://git.debian.org/?p=debian-science/packages/eprover.git and adapted the package for GIT. It's lintian clean, except for a pedantic

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

2009-03-03 Thread Andreas Tille
On Tue, 3 Mar 2009, Petr Pudlak (Debian) wrote: Hi Andreas, everybody, I moved the package into the git repository: Vcs-Git: git://git.debian.org/git/debian-science/packages/eprover.git Vcs-Browser: http://git.debian.org/?p=debian-science/packages/eprover.git and adapted the package for GIT.

Life - Un salto nella tua filiera

2009-03-03 Thread Gruppo Life-City Srl | Bellaria
To view the message, please use an HTML compatible email viewer!