gnu: c-reduce: Switch to git source.

The original page is down.

* gnu/packages/debug.scm (c-reduce)[source]: Switch to git-fetch.

Signed-off-by: Andreas Enge <andreas@enge.fr>
This commit is contained in:
Nicolas Graves 2025-07-19 14:04:26 +02:00 committed by Andreas Enge
parent 93b65f5aca
commit e848419d92
No known key found for this signature in database
GPG key ID: F7D5C9BF765C61E3

View file

@ -135,12 +135,13 @@ program to exhibit a bug.")
(version "2.10.0") (version "2.10.0")
(source (source
(origin (origin
(method url-fetch) (method git-fetch)
(uri (list (uri (git-reference
(string-append "http://embed.cs.utah.edu/creduce/" (url "https://github.com/csmith-project/creduce")
"creduce-" version ".tar.gz"))) (commit (string-append "creduce-" version))))
(sha256 (file-name (git-file-name name version))
(base32 "0qx0zq8jxzx2as2zf0740g7kvgq163ayn3041di4vwk77490y76v")))) (sha256
(base32 "0ygzn32mzqn02wslaw1gwgx498mvfgpgkgir3pp1mgd3k18l3pqr"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(native-inputs (list flex)) (native-inputs (list flex))
(inputs (inputs