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:
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)?
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
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.
To view the message, please use an HTML compatible email viewer!
5 matches
Mail list logo