Re: RFS: osm-gps-map

2009-02-22 Thread Paul Wise
On Mon, Feb 23, 2009 at 2:46 AM, Andrew Gee wrote: > * Package name: osm-gps-map > Version : 0.2-1 > Upstream Author : John Stowers > * URL : http://nzjrs.github.com/osm-gps-map/ You might want to get upstream to join libchamplain, which is GNOME's effort to do the exa

Directories left on upgrade, files not removed on upgrade?

2009-02-22 Thread Daniel Leidert
Hi, I need to make a design change to the docbook-xsl* packages. ATM the situation is, that the HTML documentation from docbook-xsl-doc-html was installed into /usr/share/doc/docbook-xsl/doc and there was a link in /usr/share/doc/docbook-xsl-doc-html/. Now I need to change this and everything gets

Re: RFS: Authomated theorem prover E (AKA eprover)

2009-02-22 Thread Ben Finney
Ruben Molina writes: > El dom, 22-02-2009 a las 11:42 +0100, Petr Pudlak (Debian) escribió: > > Only man pages are a problem, the programs have a lot of options > > and I don't want just to manually duplicate 'eprover --help' etc. > > listings in a man page every time something changes. > > > ch

RFS: usvn

2009-02-22 Thread Michael Rasmussen
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Dear mentors, I am looking for a sponsor for my package "usvn". Package name: usvn Version : 0.7.2-1 Upstream Author : USVN Team URL : http://www.usvn.info/ License : CeCILL (GPL compatible according to fsf.

RFS: osm-gps-map

2009-02-22 Thread Andrew Gee
Dear mentors, I am looking for a sponsor for my package "osm-gps-map". Note: I'm not subscribed to debian-mentors, so please CC me in to your replies :) * Package name: osm-gps-map Version : 0.2-1 Upstream Author : John Stowers * URL : http://nzjrs.github.com/osm-gps

Re: RFS: Authomated theorem prover E (AKA eprover)

2009-02-22 Thread Neil Williams
On Sun, 22 Feb 2009 09:31:59 -0500 Ruben Molina wrote: > > thanks for valuable feedback. I worked on it a bit more and now it > > seems that everything is resolved and lintian is happy. Only man pages > > are a problem, the programs have a lot of options and I don't want > > just to manually dupl

Re: RFS: Authomated theorem prover E (AKA eprover)

2009-02-22 Thread Ruben Molina
El dom, 22-02-2009 a las 11:42 +0100, Petr Pudlak (Debian) escribió: > On Saturday 21 February 2009 22:14:26 you wrote: > > El sáb, 21-02-2009 a las 13:01 +0100, Petr Pudlak (Debian) escribió: > > > I created a package for The Equational Theorem Prover "E" and I'm > > > looking for a sponsor that w