Subject: Re: [bug#73190] [PATCH v2 3/3] gnu: dyninst: Update to 13.0.0.
From: Ludovic Courtès <[email-masked]>
To: Nguyễn Gia Phong <[email-masked]>
Cc: [email-masked]
Date: Thu, 19 Sep 2024 14:56:55 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

Nguyễn Gia Phong <[email-masked]> skribis:

> * gnu/packages/instrumentations.scm (dyninst): Update to 13.0.0.
>   [propagated-inputs]: Add libiberty.
> * gnu/packages/patches/dyninst-fix-glibc-compatibility.patch:
>   Remove file.
>
> Change-Id: I6e5dfa9d698de4d45614c535b5dd5cdaad239425

Pushed as 254c8f2c8cbb47903682b026deac1fd07c48f919.

I followed up with e85f52e826b0701c3dcf9acf9d81e5ae57aec8f9, which fixes
i686-linux and adds a ‘supported-systems’ field.

Ludo’.