Subject: [bug#77066] [PATCH 1/3] gnu: boost-for-source-highlight: Update source URI

From: Greg Hogan <[email-masked]>
Date: Mon, 17 Mar 2025 09:03:20 -0400

On Mon, Mar 17, 2025 at 4:17 AM Ada Stevenson <[email-masked]> wrote:
>
> * gnu/packages/boost.scm (boost-for-source-highlight)
> [source] <uri>: Update dead link to active link.
>
> Change-Id: Ib10a2ef6b57bc787a34d62eaaa0885a5dcd0a1a8
> ---
>  gnu/packages/boost.scm | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/gnu/packages/boost.scm b/gnu/packages/boost.scm
> index e464400ad9..cb45b2efd9 100644
> --- a/gnu/packages/boost.scm
> +++ b/gnu/packages/boost.scm
> @@ -212,7 +212,7 @@ (define-public boost-for-source-highlight
>      (version "1.83.0")
>      (source (origin
>                (method url-fetch)
> -              (uri (string-append "https://boostorg.jfrog.io/artifactory/main/release/"
> +              (uri (string-append "https://archives.boost.io/release/"
>                                    version "/source/boost_"
>                                    (version-with-underscores version) ".tar.bz2"))
>                (patches
> --
> 2.48.1

cc'ing the rust team because source-highlight has ~12,000 dependent
packages, nearly all due to gdb/pinned which is a dependency of rust.