GNU bug report logs - #41439
[PATCH] gnu: mediainfo: Update to 20.03.

Previous Next

Package: guix-patches;

Reported by: Michael Rohleder <mike <at> rohleder.de>

Date: Thu, 21 May 2020 18:31:02 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: Tobias Geerinckx-Rice <me <at> tobias.gr>
To: Michael Rohleder <mike <at> rohleder.de>
Cc: 41439 <at> debbugs.gnu.org
Subject: [bug#41439] [PATCH] gnu: mediainfo: Update to 20.03.
Date: Thu, 21 May 2020 22:31:12 +0200
[Message part 1 (text/plain, inline)]
Michael,

Michael Rohleder 写道:
> Subject: [PATCH] gnu: mediainfo: Update to 20.03.

Thanks!

> * gnu/packages/video.scm (mediainfo): Update to 20.03.

When operating on multiple packages, you need to (list, both).

Are they required to be updated in lockstep?  Is there really no 
order in which we could update these as two separate commits?

If not, please add a comment noting that they need to be updated 
in tandem.  Or better yet: if you're reasonably sure that upstream 
is committed to their new versioning scheme, you can use

 (version (package-version libmediainfo))

in mediainfo to make that crystal clear.

Kind regards,

T G-R
[signature.asc (application/pgp-signature, inline)]

This bug report was last modified 5 years and 62 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.