diff options
| -rw-r--r-- | gnu/packages/debug.scm | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/gnu/packages/debug.scm b/gnu/packages/debug.scm index d454bceb409..b489bee72b8 100644 --- a/gnu/packages/debug.scm +++ b/gnu/packages/debug.scm | |||
| @@ -135,12 +135,13 @@ program to exhibit a bug.") | |||
| 135 | (version "2.10.0") | 135 | (version "2.10.0") |
| 136 | (source | 136 | (source |
| 137 | (origin | 137 | (origin |
| 138 | (method url-fetch) | 138 | (method git-fetch) |
| 139 | (uri (list | 139 | (uri (git-reference |
| 140 | (string-append "http://embed.cs.utah.edu/creduce/" | 140 | (url "https://github.com/csmith-project/creduce") |
| 141 | "creduce-" version ".tar.gz"))) | 141 | (commit (string-append "creduce-" version)))) |
| 142 | (sha256 | 142 | (file-name (git-file-name name version)) |
| 143 | (base32 "0qx0zq8jxzx2as2zf0740g7kvgq163ayn3041di4vwk77490y76v")))) | 143 | (sha256 |
| 144 | (base32 "0ygzn32mzqn02wslaw1gwgx498mvfgpgkgir3pp1mgd3k18l3pqr")))) | ||
| 144 | (build-system gnu-build-system) | 145 | (build-system gnu-build-system) |
| 145 | (native-inputs (list flex)) | 146 | (native-inputs (list flex)) |
| 146 | (inputs | 147 | (inputs |