star-build

commit 4e07dac176595e80b1113093ef91e8f345a09c52
parent dec3bbbfb7a1379fbada5fb828f4b87b143a0bf4
Author: Vincent Forest <vincent.forest@meso-star.com>
Date:   Wed,  2 Sep 2026 12:18:11 +0200

Random123: update the URL of the remote repository

Use a copy of the repository hosted by Meso-Star instead of GitHub,
where the main repository is hosted. This is because, in some countries,
GitHub appears to be inaccessible without logging in to GitHub...

Diffstat:
M
src/sci-libs/random123.mk.in
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/sci-libs/random123.mk.in b/src/sci-libs/random123.mk.in
@@ -18,7 +18,7 @@
 # Configuration macros
 RANDOM123_VERSION=@VERSION@
 RANDOM123_TAG=@TAG@
-RANDOM123_URL_ONLINE=https://github.com/DEShawResearch/random123
+RANDOM123_URL_ONLINE=git://git.meso-star.com/random123.git
 RANDOM123_URL_OFFLINE=$(MIRROR)/random123
 RANDOM123_URL = $(RANDOM123_URL_$(NETWORK))