[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
01/01: gnu: julia: Build with zlib.
From: |
Efraim Flashner |
Subject: |
01/01: gnu: julia: Build with zlib. |
Date: |
Wed, 20 Jul 2016 07:47:33 +0000 (UTC) |
efraim pushed a commit to branch master
in repository guix.
commit 95bf72eeb0b99d6b26c3515fa78a587207c6f779
Author: Efraim Flashner <address@hidden>
Date: Wed Jul 20 09:11:16 2016 +0300
gnu: julia: Build with zlib.
* gnu/packages/julia.scm (julia)[inputs]: Add zlib.
---
gnu/packages/debug.scm | 9 +++++----
1 file changed, 5 insertions(+), 4 deletions(-)
diff --git a/gnu/packages/debug.scm b/gnu/packages/debug.scm
index 556a105..4237a15 100644
--- a/gnu/packages/debug.scm
+++ b/gnu/packages/debug.scm
@@ -1,5 +1,6 @@
;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2014, 2015, 2016 Eric Bavier <address@hidden>
+;;; Copyright © 2016 Efraim Flashner <address@hidden>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -84,16 +85,16 @@ program to exhibit a bug.")
(define-public c-reduce
(package
(name "c-reduce")
- (version "2.3.0")
+ (version "2.5.0")
(source
(origin
(method url-fetch)
(uri (list
- (string-append "http://embed.cs.utah.edu/creduce/"
+ (string-append "https://embed.cs.utah.edu/creduce/"
"creduce-" version ".tar.gz")))
(sha256
(base32
- "0r9lvnifjcnsrkrk8k4mha1kmmb93jya7alm523ck59y3173bpi0"))
+ "1r23lhzq3dz8vi2dalxk5las8bf0av2w94hxxbs61pr73m77ik9d"))
(modules '((guix build utils)))
(snippet
'(substitute* "clang_delta/TransformationManager.cpp"
@@ -131,7 +132,7 @@ program to exhibit a bug.")
"file-which" "getopt-tabular"
"regex-common" "sys-cpu"))))))
%standard-phases)))
- (home-page "http://embed.cs.utah.edu/creduce")
+ (home-page "https://embed.cs.utah.edu/creduce")
(synopsis "Reducer for interesting code")
(description
"C-Reduce is a tool that takes a large C or C++ program that has a