summaryrefslogtreecommitdiff
path: root/gnu/packages/debug.scm
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2016-07-20 11:35:32 +0300
committerEfraim Flashner <efraim@flashner.co.il>2016-07-20 11:37:01 +0300
commitc23c628ea7a6435460d12969af5a3ba0e8d82004 (patch)
tree049fefad8b6c35de2dbf09d317564fe038597534 /gnu/packages/debug.scm
parent95bf72eeb0b99d6b26c3515fa78a587207c6f779 (diff)
Revert "gnu: julia: Build with zlib."
This reverts commit 95bf72eeb0b99d6b26c3515fa78a587207c6f779.
Diffstat (limited to 'gnu/packages/debug.scm')
-rw-r--r--gnu/packages/debug.scm9
1 files changed, 4 insertions, 5 deletions
diff --git a/gnu/packages/debug.scm b/gnu/packages/debug.scm
index 4237a15f0a5..556a1051f14 100644
--- a/gnu/packages/debug.scm
+++ b/gnu/packages/debug.scm
@@ -1,6 +1,5 @@
1;;; GNU Guix --- Functional package management for GNU 1;;; GNU Guix --- Functional package management for GNU
2;;; Copyright © 2014, 2015, 2016 Eric Bavier <bavier@member.fsf.org> 2;;; Copyright © 2014, 2015, 2016 Eric Bavier <bavier@member.fsf.org>
3;;; Copyright © 2016 Efraim Flashner <efraim@flashner.co.il>
4;;; 3;;;
5;;; This file is part of GNU Guix. 4;;; This file is part of GNU Guix.
6;;; 5;;;
@@ -85,16 +84,16 @@ program to exhibit a bug.")
85(define-public c-reduce 84(define-public c-reduce
86 (package 85 (package
87 (name "c-reduce") 86 (name "c-reduce")
88 (version "2.5.0") 87 (version "2.3.0")
89 (source 88 (source
90 (origin 89 (origin
91 (method url-fetch) 90 (method url-fetch)
92 (uri (list 91 (uri (list
93 (string-append "https://embed.cs.utah.edu/creduce/" 92 (string-append "http://embed.cs.utah.edu/creduce/"
94 "creduce-" version ".tar.gz"))) 93 "creduce-" version ".tar.gz")))
95 (sha256 94 (sha256
96 (base32 95 (base32
97 "1r23lhzq3dz8vi2dalxk5las8bf0av2w94hxxbs61pr73m77ik9d")) 96 "0r9lvnifjcnsrkrk8k4mha1kmmb93jya7alm523ck59y3173bpi0"))
98 (modules '((guix build utils))) 97 (modules '((guix build utils)))
99 (snippet 98 (snippet
100 '(substitute* "clang_delta/TransformationManager.cpp" 99 '(substitute* "clang_delta/TransformationManager.cpp"
@@ -132,7 +131,7 @@ program to exhibit a bug.")
132 "file-which" "getopt-tabular" 131 "file-which" "getopt-tabular"
133 "regex-common" "sys-cpu")))))) 132 "regex-common" "sys-cpu"))))))
134 %standard-phases))) 133 %standard-phases)))
135 (home-page "https://embed.cs.utah.edu/creduce") 134 (home-page "http://embed.cs.utah.edu/creduce")
136 (synopsis "Reducer for interesting code") 135 (synopsis "Reducer for interesting code")
137 (description 136 (description
138 "C-Reduce is a tool that takes a large C or C++ program that has a 137 "C-Reduce is a tool that takes a large C or C++ program that has a