Bug#830569: RFS: z3/4.4.1-0.1 [NMU] [4xRC]

[Jakub Wilk]

Control: tags -1 + moreinfo

* Jakub Wilk , 2016-07-09, 20:33:
Yes, it does look like a bug in Lintian. Apparently it gets confused 
by the -ocaml-dev package:


$ lintian libz3-4_4.4.1-0.1_amd64.deb libz3-dev_4.4.1-0.1_amd64.deb
[nothing]

$ lintian libz3-4_4.4.1-0.1_amd64.deb libz3-dev_4.4.1-0.1_amd64.deb 
libz3-ocaml-dev_4.4.1-0.1_amd64.deb
W: libz3-4: dev-pkg-without-shlib-symlink usr/lib/x86_64-linux-gnu/libz3.so.4 
usr/lib/x86_64-linux-gnu/libz3.so


Actually, the culprit is that libz3-dev must depend libz3-4, but it 
doesn't.


(OTOH, libz3-ocaml-dev does depend on libz3-4, which tricked Lintian 
into thinking this is where the .so symlink should be.)


--
Jakub Wilk

Re: Call for review: Improving RFS template for mentors.debian.net

[HAYASHI Kentaro]

On Sun, Jul 10, 2016 at 6:13 AM, Jakub Wilk  wrote:
>
> * HAYASHI Kentaro , 2016-07-10, 00:00:

 This PR is written to solve some glitches about RFS template.
>>>
>>> another feature request:
>>> the template has also the subject, e.g.
>>> ITP, NMU, RC, QA, and so on, but there seems to be one missing entry
for "regular update"
>>
>>
>> Thank you for feedback.
>> But I hadn't ever seen such tag.
>> https://mentors.debian.net/sponsor/rfs-howto
>
>
> There's no standard tag for this, and I don't think we need one.
>
> If there's no tag in the subject, then the upload is supposed to be
"regular".
>
> --
> Jakub Wilk
>

Thank you for explanation. I got it. :-)


--
Kentaro Hayashi 

Bug#830595: closed by Gianfranco Costamagna <locutusofb...@debian.org> (Re: Bug#830595: RFS: fracplanet/0.4.0-4 [QA, RC])

[Gert Wollny]

Hello Gianfranco, 

thanks for sponsoring. 

> you also bumped std-version, I added the entry in changelog, 

Well, since "cme fix dpkg-control" always bumps to the latest version,
I didn't add this explicitly ... 

Best, 
Gert 

Re: Call for review: Improving RFS template for mentors.debian.net

[Jakub Wilk]

* HAYASHI Kentaro , 2016-07-10, 00:00:

This PR is written to solve some glitches about RFS template.

another feature request:
the template has also the subject, e.g.
ITP, NMU, RC, QA, and so on, but there seems to be one missing entry 
for "regular update"


Thank you for feedback.
But I hadn't ever seen such tag.
https://mentors.debian.net/sponsor/rfs-howto


There's no standard tag for this, and I don't think we need one.

If there's no tag in the subject, then the upload is supposed to be 
"regular".


--
Jakub Wilk

Re: Call for review: Improving RFS template for mentors.debian.net

[HAYASHI Kentaro]

Hi,

On Sun, Jul 10, 2016 at 5:47 AM, HAYASHI Kentaro  wrote:
>
> Hi,
>
> On Fri, Jul 8, 2016 at 6:48 PM, Gianfranco Costamagna <
locutusofb...@debian.org> wrote:
> >
> > Hi,
> >
> > >This PR is written to solve some glitches about RFS template.
> >
> > another feature request:
> > the template has also the subject, e.g.
> > ITP, NMU, RC, QA, and so on, but there seems to be one missing entry for
> > "regular update"
>
> To fill in subject correctly, it needs to collect more information by
plugin.
> In such purpose, existing debianqa plugin should be fixed, so I've send
another PR.
>
>   Collect 'QA upload.' information by debianqa plugin
>   https://github.com/debexpo/debexpo/pull/42

With a bit more additional fix, now it can fill in subject: foobar [ITP]
and severity: wishlist and so on.
https://cloud.githubusercontent.com/assets/225841/16710249/eeeb7b82-4662-11e6-9895-c8bd352cc6c8.png

P.S. Does anyone knows the way to check [RC] case easily - the package
contains fixed RC bugs
 usually listed Closes:# in debian/changelog?

--
Kentaro Hayashi 

Re: Call for review: Improving RFS template for mentors.debian.net

[HAYASHI Kentaro]

Hi,

On Fri, Jul 8, 2016 at 6:48 PM, Gianfranco Costamagna <
locutusofb...@debian.org> wrote:
>
> Hi,
>
> >This PR is written to solve some glitches about RFS template.
>
> another feature request:
> the template has also the subject, e.g.
> ITP, NMU, RC, QA, and so on, but there seems to be one missing entry for
> "regular update"

To fill in subject correctly, it needs to collect more information by
plugin.
In such purpose, existing debianqa plugin should be fixed, so I've send
another PR.

  Collect 'QA upload.' information by debianqa plugin
  https://github.com/debexpo/debexpo/pull/42

Re: Example of combined manpage with symlinks to multiple binaries?

[Jakub Wilk]

* Patrick Schleizer , 2016-07-09, 20:36:

Do you know any example of a combined manpage?


grep, egrep, fgrep, rgrep
gzip, gunzip, zcat, uncompress

--
Jakub Wilk

Example of combined manpage with symlinks to multiple binaries?

[Patrick Schleizer]

Do you know any example of a combined manpage?

Cheers,
Patrick

Jakub Wilk:
> * Patrick Schleizer , 2016-07-08, 14:18:
>> Would a combined manpage, i.e. 'man corridor', symlinked to the
>> individual command names (corridor-init-forwarding,
>> corridor-init-snat, ...) be acceptable by Debian policy
> 
> Yes, this is fine.
> 

Bug#830599: marked as done (RFS: nlohmann-json/2.0.1-1)

[Debian Bug Tracking System]

Your message dated Sat, 9 Jul 2016 20:01:27 + (UTC)
with message-id <217863312.444069.1468094487888.javamail.ya...@mail.yahoo.com>
and subject line Re: Bug#830599: RFS: nlohmann-json/2.0.1-1
has caused the Debian Bug report #830599,
regarding RFS: nlohmann-json/2.0.1-1
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)


-- 
830599: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=830599
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: sponsorship-requests
Severity: normal

Dear mentors,

I am looking for a sponsor for my package "nlohmann-json"

* Package name: nlohmann-json
  Version : 2.0.1-1
  Upstream Author : Niels Lohmann
* URL : https://github.com/nlohmann/json
* License : MIT
  Section : libs

It builds those binary packages:

  nlohmann-json-dev - JSON for Modern C++

To access further information about this package, please visit the
following URL:

  https://mentors.debian.net/package/nlohmann-json


Alternatively, one can download the package with dget using this command:

  dget -x
https://mentors.debian.net/debian/pool/main/n/nlohmann-json/nlohmann-json_2.0.1-1.dsc

More information about nlohmann-json can be obtained from
https://nlohmann.github.io/json/

Changes since the last upload:

 * New upstream realease

cheers,
-- 
muri



signature.asc
Description: OpenPGP digital signature
--- End Message ---
--- Begin Message ---


>I am looking for a sponsor for my package "nlohmann-json"



uploaded.

G.--- End Message ---

Bug#830595: marked as done (RFS: fracplanet/0.4.0-4 [QA, RC])

[Debian Bug Tracking System]

Your message dated Sat, 9 Jul 2016 20:00:55 + (UTC)
with message-id <1052048711.457109.1468094455684.javamail.ya...@mail.yahoo.com>
and subject line Re: Bug#830595: RFS: fracplanet/0.4.0-4  [QA, RC]
has caused the Debian Bug report #830595,
regarding RFS: fracplanet/0.4.0-4  [QA, RC]
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)


-- 
830595: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=830595
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: sponsorship-requests
Severity: important

Dear mentors,

I am looking for a sponsor for the package "fracplanet"

 * Package name: fracplanet
   Version : 0.4.0-4
   Upstream Author : Tim Day 
 * URL : http://www.bottlenose.demon.co.uk/share/fracplanet
 * License : GPL-3
   Section : graphics

It builds those binary packages:

fracplanet - Fractal planet generator

To access further information about this package, please visit the
following URL:

  https://mentors.debian.net/package/fracplanet

Alternatively, one can download the package with dget using this
command:

  dget -x https://mentors.debian.net/debian/pool/main/f/fracplanet/frac
planet_0.4.0-4.dsc

Changes since the last upload:

  * cme fix dpkg-control 
  * d/p/gcc-6: Add patch to fix compilation with gcc-6, Closes: #811642

Many thanks,
Gert
--- End Message ---
--- Begin Message ---
Hi,

>  * cme fix dpkg-control 

>  * d/p/gcc-6: Add patch to fix compilation with gcc-6, Closes: #811642



you also bumped std-version, I added the entry in changelog, and while on

it, bumped debhelper and compat levels :)
thanks a lot for your work!

Gianfranco--- End Message ---

Bug#830569: RFS: z3/4.4.1-0.1 [NMU] [4xRC]

[Jakub Wilk]

Hi Fabian!

I don't intend to sponsor this upload, but here's a quick review:

* Fabian Wolff , 2016-07-09, 16:14:

* Add patch fix-dotnet-version.patch (Closes: #808695).


This gives me no clue what the patch is about.


* Upgrade to Standards version 3.9.8 (no changes).


I don't think this is a good idea for an NMU.


* Install shared libraries into new libz3-4 package (Closes: #819884).


Now that the -dev package doesn't ship any ELFs, you should remove 
${shlib:Depends} from -dev's Depends.


"Pre-Depends: ${misc:Pre-Depends}" should be moved to the shared library 
package, or removed completely, because it's not needed these days.


* Install python files directly into /usr/lib/python2.7/dist-packages/ 


AFAICS, upstream build system installs these files in the right place, 
so there should be no need to pick the *.py files from src/.


These d/rules lines are effectively no-ops and should be removed:

mkdir -p debian/tmp/usr/lib/python2.7/dist-packages/z3
touch debian/tmp/usr/lib/python2.7/dist-packages/z3/__init__.py

(The latter is probably a failed attempt of fixing #791604, which looks 
like a previous incarnation #819884.)


* Remove unnecessary version restriction of build dependency 
cli-common-dev.


Hmm, I don't know anything about CLI, but dh_cligacpolicy disagrees:

dh_cligacpolicy: Warning! No Build-Depends(-Indep) on cli-common-dev (>= 0.5.7)!


* Format debian/control with cme.


I don't think cosmetic changes are good idea for an NMU.


* Disable tests as they fail eventually.


All the tests? :-O

I've tried building z3 with hardening flags turned on, but the build 
failed.


What was the error message?

I don't know what the problem with the -dev package is; contrary to 
what Lintian claims, it *does* contain a symlink to the respective 
shared library.


Yes, it does look like a bug in Lintian. Apparently it gets confused by 
the -ocaml-dev package:


$ lintian libz3-4_4.4.1-0.1_amd64.deb libz3-dev_4.4.1-0.1_amd64.deb
[nothing]

$ lintian libz3-4_4.4.1-0.1_amd64.deb libz3-dev_4.4.1-0.1_amd64.deb 
libz3-ocaml-dev_4.4.1-0.1_amd64.deb
W: libz3-4: dev-pkg-without-shlib-symlink usr/lib/x86_64-linux-gnu/libz3.so.4 
usr/lib/x86_64-linux-gnu/libz3.so
W: libz3-ocaml-dev: hardening-no-relro usr/lib/ocaml/z3/dllz3ml.so

There are a few other issues that I was not able to fix, but I think 
closing the four RC bugs has a higher priority right now.


Absolutely. It's not NMUer obligation to fix every known bug.

--
Jakub Wilk

Bug#830599: RFS: nlohmann-json/2.0.1-1

[Muri Nicanor]

Package: sponsorship-requests
Severity: normal

Dear mentors,

I am looking for a sponsor for my package "nlohmann-json"

* Package name: nlohmann-json
  Version : 2.0.1-1
  Upstream Author : Niels Lohmann
* URL : https://github.com/nlohmann/json
* License : MIT
  Section : libs

It builds those binary packages:

  nlohmann-json-dev - JSON for Modern C++

To access further information about this package, please visit the
following URL:

  https://mentors.debian.net/package/nlohmann-json


Alternatively, one can download the package with dget using this command:

  dget -x
https://mentors.debian.net/debian/pool/main/n/nlohmann-json/nlohmann-json_2.0.1-1.dsc

More information about nlohmann-json can be obtained from
https://nlohmann.github.io/json/

Changes since the last upload:

 * New upstream realease

cheers,
-- 
muri



signature.asc
Description: OpenPGP digital signature

Bug#830595: RFS: fracplanet/0.4.0-4 [QA, RC]

[Gert Wollny]

Package: sponsorship-requests
Severity: important

Dear mentors,

I am looking for a sponsor for the package "fracplanet"

 * Package name: fracplanet
   Version : 0.4.0-4
   Upstream Author : Tim Day 
 * URL : http://www.bottlenose.demon.co.uk/share/fracplanet
 * License : GPL-3
   Section : graphics

It builds those binary packages:

fracplanet - Fractal planet generator

To access further information about this package, please visit the
following URL:

  https://mentors.debian.net/package/fracplanet

Alternatively, one can download the package with dget using this
command:

  dget -x https://mentors.debian.net/debian/pool/main/f/fracplanet/frac
planet_0.4.0-4.dsc

Changes since the last upload:

  * cme fix dpkg-control 
  * d/p/gcc-6: Add patch to fix compilation with gcc-6, Closes: #811642

Many thanks,
Gert

Re: Call for review: Improving RFS template for mentors.debian.net

[HAYASHI Kentaro]

Hi,

On Fri, Jul 8, 2016 at 8:09 PM, Jakub Wilk  wrote:
>
> * HAYASHI Kentaro , 2016-07-08, 18:28:
>>
>>  https://github.com/debexpo/debexpo/pull/35
>
>
> Not a regression, but instead of:
>
> "upstreams web site"
>
> it should be:
>
> "upstream's web site"
>

I've send it as another PR
https://github.com/debexpo/debexpo/pull/41

Thanks!

--
Kentaro Hayashi 

Re: Call for review: Improving RFS template for mentors.debian.net

[HAYASHI Kentaro]

Hi,

On Fri, Jul 8, 2016 at 6:48 PM, Gianfranco Costamagna <
locutusofb...@debian.org> wrote:
>
> Hi,
>
> >This PR is written to solve some glitches about RFS template.
> another feature request:
> the template has also the subject, e.g.
> ITP, NMU, RC, QA, and so on, but there seems to be one missing entry for
> "regular update"

Thank you for feedback.
But I hadn't ever seen such tag.
https://mentors.debian.net/sponsor/rfs-howto

Is it officially supposed to use (undocumented?) or just one idea as a
sponsor?

--
Kentaro Hayashi 

Bug#830569: RFS: z3/4.4.1-0.1 [NMU] [4xRC]

[Fabian Wolff]

Package: sponsorship-requests
Severity: important

Dear mentors,

I am looking for a sponsor for a NMU of the z3 package.

The update attempts to fix four RC bugs currently reported for z3.

Changes since the last upload:

   * New upstream release.
   * Remove patches that were fixed upstream:
  - signed_char01
  - signed_char02
  - signed_char03
  - signed_char04
  - disable_test
  - disable_test2
  - disable_test3
  - disable_test4 (upstream issue has been closed:
 https://github.com/Z3Prover/z3/issues/210)
  - fix_conflict
   * Migrate remaining patches to DEP-3 format.
   * Rewrite typos.patch to apply to new version of z3.
   * Add patch fix-dotnet-version.patch (Closes: #808695).
   * Upgrade to Standards version 3.9.8 (no changes).
   * Install shared libraries into new libz3-4 package (Closes: #819884).
   * Install python files directly into /usr/lib/python2.7/dist-packages/
 (Closes: #802272).
   * Clean up debian/rules.
   * Remove unnecessary version restriction of build dependency
 cli-common-dev.
   * Format debian/control with cme.
   * Fix debian/copyright: Change MIT to Expat and move Expat license text
 into separate license block so that it covers both file blocks.
   * Move libz3-ocaml-dev into section ocaml.
   * Add preinst scripts to remove directories from older versions to allow
 debhelper to install symlinks (Closes: #823573).
   * Disable tests as they fail eventually.

As for the Lintian warnings: I've tried building z3 with hardening
flags turned on, but the build failed. I don't know what the problem
with the -dev package is; contrary to what Lintian claims, it *does*
contain a symlink to the respective shared library.

There are a few other issues that I was not able to fix, but I think
closing the four RC bugs has a higher priority right now.

The package is available on Mentors:

  https://mentors.debian.net/package/z3

  dget -x https://mentors.debian.net/debian/pool/main/z/z3/z3_4.4.1-0.1.dsc

Regards,
 Fabian Wolff

Re: combined manpage with symlinks to multiple binaries across packages: how to do?

[Jakub Wilk]

* Andrew Shadura , 2016-07-09, 00:20:

I get a plain text file installed that just contains
  .so isns_config.5
Which man doesn't really interpret itself, and which is hence 
completely useless.
That's strange, as normally man would interpret that, and it actually 
worked for me.


Yeah, it should work:

# echo '.so nyancat.1' | gzip -9n > /usr/share/man/man1/foo.1.gz
# man foo | head -n1
NYANCAT(1)  General Commands Manual NYANCAT(1)

--
Jakub Wilk

Bug#830528: marked as done (RFS: clutter-gesture/0.0.2.1-7.1 [NMU, RC] -- Open GL based interactive canvas library Gesture framework)

[Debian Bug Tracking System]

Your message dated Sat, 9 Jul 2016 09:01:28 + (UTC)
with message-id <1756961987.129261.1468054888632.javamail.ya...@mail.yahoo.com>
and subject line Re: Bug#830528: RFS: clutter-gesture/0.0.2.1-7.1 [NMU, RC] -- 
Open GL based interactive canvas library Gesture framework
has caused the Debian Bug report #830528,
regarding RFS: clutter-gesture/0.0.2.1-7.1 [NMU, RC] -- Open GL based 
interactive canvas library Gesture framework
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)


-- 
830528: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=830528
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: sponsorship-requests
Severity: important
Control: block 811585 by -1

Dear mentors,

I am looking for a sponsor for an NMU of clutter-gesture, fixing a stretch RC
bug (older than 7 days and no maintainer activity).

I have verified this NMU in the following ways:

- fixes the bug: builds with GCC 6
- builds in a current clean sid chroot (i.e. builds without gcc-6, too)

It currently fails piuparts due to a piuparts bug, #830527.

* Package name: clutter-gesture
  Version : 0.0.2.1-7.1
  Upstream Author : Intel Corp.
* URL : http://www.clutter-project.org/
* License : LGPL-2.1+
  Section : libs

Changes since the last upload:

  * Non-maintainer upload.
  * Add 09_fix_build_with_gcc_6.patch (Closes: #811585).

Download with dget:

dget -x 
http://mentors.debian.net/debian/pool/main/c/clutter-gesture/clutter-gesture_0.0.2.1-7.1.dsc

Thanks.

-- 
Sean Whitton
--- End Message ---
--- Begin Message ---
Hi,

>I have verified this NMU in the following ways:


In deferred/2, BTW I'm impressed for the patch
did *really* gcc started looking at indentation of c code?

impressive.

thanks,

G.--- End Message ---

Re: Call for review: Improving RFS template for mentors.debian.net

[Gianfranco Costamagna]

Hi,



>On >Fri, Jul 08, 2016 at 09:48:18AM +, Gianfranco Costamagna wrote:
>> Or to see if the changelog contains only one single entry (but this isn't 
>> error-prone
>> because many people are bumping changelog without having it uploaded yet)
>
>What did you have in mind here?


rmadison $package
if the package is not in experimental, check for version to be -1 and one 
single entry

>> and also a pull-debian-source for the source, and a debdiff between
>> them might *really* simplify the sponsors work!>
>That would be great.


the idea is stolen from Ubuntu :)

G.