GNU bug report logs - #40229
[PATCH] gnu: clipmenu: Update to 6.0.1.

Previous Next

Full log

View this message in rfc822 format

From: Marius Bakke <mbakke <at> fastmail.com>
To: Damien Cassou <damien <at> cassou.me>, 40229 <at> debbugs.gnu.org
Subject: [bug#40229] Acknowledgement ([PATCH] gnu: clipmenu: Update to 6.0.1.)
Date: Sun, 29 Mar 2020 22:17:17 +0200

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

Damien Cassou <damien <at> cassou.me> writes:

> Same patch but with indentation fixed, sorry.

Thanks!  Can you submit the indentation change as a separate commit?

[...]

> * gnu/packages/xdisorg.scm (clipmenu): Update to 6.0.1.

[...]
  
> +  (package
> +    (name "clipmenu")
> +    (version "6.0.1")
> +    (source (origin
> +              (method url-fetch)
> +              (uri (string-append "https://github.com/cdown/clipmenu/archive/" version ".tar.gz"))

The GitHub /archive/ URL's are not stable: the tarballs they generate
may get regenerated in the future with different timestamps and break
the checksum.  So please continue using git-fetch here.

Can you send an updated patch?  TIA!

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

Previous Next

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