GNU bug report logs - #56858
[PATCH] gnu: libcgroup: Update to 2.0.2.

Previous Next

Full log

Message #23 received at 56858 <at> debbugs.gnu.org (full text, mbox):

From: 宋文武 <iyzsong <at> envs.net>
To: "(" <paren <at> disroot.org>
Cc: muradm <mail <at> muradm.net>, 56858 <at> debbugs.gnu.org
Subject: Re: bug#56858: [PATCH] gnu: libcgroup: Update to 2.0.2.
Date: Thu, 04 Aug 2022 13:55:57 +0800

"(" <paren <at> disroot.org> writes:

> Hi!
>
> On Sun Jul 31, 2022 at 4:29 PM BST, muradm wrote:
>> +    (home-page "https://github.com/libcgroup/libcgroup")
> Put home-page under inputs and above synopsis, where it was before.
>
>>         (method url-fetch)
>> -       (uri (string-append
>> -             "mirror://sourceforge/libcg/" name "/"
>> -             version "/" name "-" version ".tar.bz2"))
>> +       (uri (string-append home-page "/releases/download/v"
>> +                           version "/" name "-" version ".tar.gz"))
> Since we're using github now, we likely want to use git-fetch here.
> I've been told Github releases are volatile.

Hello, I believe '/releases' are okay, since they are uploaded manual by
the owner, the unstable ones are under '/archive' which are
auto-generated tarballs for tags.

Previous Next

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