Subject: Re: [bug#77066] [PATCH 0/3] Update boost variant URIs to be consistent and valid

From: Greg Hogan <[email-masked]>
Date: Tue, 18 Mar 2025 15:51:50 -0400

On Mon, Mar 17, 2025 at 4:11 AM Ada Stevenson <[email-masked]> wrote:
>
> The URI for `boost-for-source-highlight` was dead, as it used the same one the main boost package used that was fixed in be6f1d0fe4.
> The other boost variants included in this patch have been updated to follow the established style in the main boost package.
>
> Ada Stevenson (3):
>   gnu: boost-for-source-highlight: Update source URI
>   gnu: boost-for-irods: Update source URI
>   gnu: boost-for-mysql: Update source URI
>
>  gnu/packages/boost.scm | 16 +++++++---------
>  1 file changed, 7 insertions(+), 9 deletions(-)
>
>
> base-commit: fd19785a9a7f111c6a97da25187c3351e7e8f3fd
> --
> 2.48.1

boost-for-(irods|mysql) pushed as
80b920674d79a15bba90fc789ed4bfc90aaa2569^..38d12e88e814728fb67bd3759dcbb07936bd017e.

As noted earlier, boost-for-source-highlight should go on the rust-team branch.