Debian Bug report logs - #828628
media-player-info: please make the build reproducible

Toggle useless messages

Message #5 received at submit@bugs.debian.org (full text, mbox, reply):

From: Reiner Herrmann <reiner@reiner-h.de>

To: submit@bugs.debian.org

Subject: media-player-info: please make the build reproducible

Date: Sun, 26 Jun 2016 14:28:11 +0200

[Message part 1 (text/plain, inline)]

Source: media-player-info
Version: 22-2
Severity: wishlist
Tags: patch
User: reproducible-builds@lists.alioth.debian.org
Usertags: fileordering
X-Debbugs-Cc: reproducible-builds@lists.alioth.debian.org

Hi!

While working on the "reproducible builds" effort [1], we have noticed
that media-player-info could not be built reproducibly.
It searches for .mpi files without sorting them.
This leads to an unsorted order in .hwdb and .rules files.

The attached patch fixes this.

Regards,
 Reiner

[1]: https://wiki.debian.org/ReproducibleBuilds

[media-player-info.patch (text/x-diff, attachment)]

Message #10 received at 828628@bugs.debian.org (full text, mbox, reply):

From: Martin Pitt <mpitt@debian.org>

To: Reiner Herrmann <reiner@reiner-h.de>, 828628@bugs.debian.org

Subject: Re: Bug#828628: media-player-info: please make the build reproducible

Date: Sun, 26 Jun 2016 21:12:52 +0200

Control: tag -1 pending

Hallo Reiner,

Reiner Herrmann [2016-06-26 14:28 +0200]:
> While working on the "reproducible builds" effort [1], we have noticed
> that media-player-info could not be built reproducibly.
> It searches for .mpi files without sorting them.
> This leads to an unsorted order in .hwdb and .rules files.

Thanks for this! I applied this upstream:

  https://cgit.freedesktop.org/media-player-info/commit/?id=c77201d

and uploaded to unstable.

Martin

-- 
Martin Pitt                        | http://www.piware.de
Ubuntu Developer (www.ubuntu.com)  | Debian Developer  (www.debian.org)

Message #17 received at 828628-close@bugs.debian.org (full text, mbox, reply):

From: Martin Pitt <mpitt@debian.org>

To: 828628-close@bugs.debian.org

Subject: Bug#828628: fixed in media-player-info 22-3

Date: Sun, 26 Jun 2016 19:21:33 +0000

Source: media-player-info
Source-Version: 22-3

We believe that the bug you reported is fixed in the latest version of
media-player-info, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 828628@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Martin Pitt <mpitt@debian.org> (supplier of updated media-player-info package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 26 Jun 2016 21:11:47 +0200
Source: media-player-info
Binary: media-player-info
Architecture: source all
Version: 22-3
Distribution: unstable
Urgency: medium
Maintainer: Martin Pitt <mpitt@debian.org>
Changed-By: Martin Pitt <mpitt@debian.org>
Description:
 media-player-info - Media player identification files
Closes: 828628
Changes:
 media-player-info (22-3) unstable; urgency=medium
 .
   * Sort list of mpi files to get reproducible rules/hwdb files. Thanks to
     Reiner Herrmann for the patch! (Closes: #828628)
   * Build with dh-autoreconf to apply the above patch.
   * Bump Standards-Version to 3.9.8 (no changes needed).
Checksums-Sha1:
 ba1f74fe0a95a57a070fe5dcfb7f8136dbcf5c28 1821 media-player-info_22-3.dsc
 8b5a3ca16b16bb138456f982ce7393cc9965d484 4380 media-player-info_22-3.debian.tar.xz
 270ee9bb05872a446d7f79e0305b0457b45416be 31728 media-player-info_22-3_all.deb
Checksums-Sha256:
 989298f795a2d2d67d7a174bed38710254b9aee9f8c154f4f5acfa5156f4473f 1821 media-player-info_22-3.dsc
 26755c90cc965960775eccd414b150106a31a2fb63e380133eefebcaab1628a9 4380 media-player-info_22-3.debian.tar.xz
 12ebba44daa89a140ed438a82e3f346848975d0808836d202b32d000304657d2 31728 media-player-info_22-3_all.deb
Files:
 8ee137d617ed067f28a2d2e074eaac5a 1821 admin optional media-player-info_22-3.dsc
 259bf0b95082dd77fb9a99f757e4e9db 4380 admin optional media-player-info_22-3.debian.tar.xz
 b0b858c0f7680ef89eae0924847dd12a 31728 admin optional media-player-info_22-3_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJXcCm7AAoJENFO8V2v4RNHCmIQALYBGCYx7q8iwCvjSWoCHoxA
guVlAn/c2YfUnlESPlddpKt/HffzWwQ/5qq/gQzdYtOKOmuvqZzb97L7Q2gEEnZn
trjPaDN067/0ksg9hdpSEui6Kvfhjhp5sqsWxMwWIfRYGS2OrPdfV3Og6cvcV3OR
mMT4tpkHjZcXhLA8oJJQObKj3Tlm2LyAa4a9P5+q0+TrWyl9LW4GYIRhpx599tbJ
r88u66rgVzzRibbC1xSVSj/84XjtbambU+njZhIw2/pHjQpZAvNmYHJFZ7F/7YX2
KhZ7+U4o6fA+CH5bz/aIr5qxo4W8W8VPvIczp8aAPiMqOB4nyKMHNKjVjW0JoU+q
a50of/WFJQwHqF9SuQD4G4xBhc9xLCKvjEWQQ2DhhLU93sNGGE5hslZpwFS88pWn
3fFFCj7d4Be3e6MfrJWFiosRhVHfzTDHM+LhyjpbTuuxADy4rcQVI8LSnIzTixY9
gPlcCeuXI1MECUQkVoRxJmiLmXGWKuRE8zdvvFC7uxJS7p1ogasQa99ZRGmtcIK9
AGL3aPPVJ2gxVVcKa+1jNrubY5rRGKgtLmlzm7Fe2ivnJvwJThEgj9uED06OvUK4
VPm3ODcQgPP8DmX0u/5wRylGeznIr1S89CyuIJLwgT6CxEivPFCmjVeHrKnGOQp2
uqXYUSk/pYNkDIEidAW/
=gAx0
-----END PGP SIGNATURE-----

Send a report that this bug log contains spam.