[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
02/14: gnu: c-reduce: Use HTTPS home page.
|
From: |
Tobias Geerinckx-Rice |
|
Subject: |
02/14: gnu: c-reduce: Use HTTPS home page. |
|
Date: |
Wed, 7 Mar 2018 09:44:16 -0500 (EST) |
nckx pushed a commit to branch master
in repository guix.
commit 7649e4269ef2107da5fbbb1e112f4be00338d0e9
Author: Tobias Geerinckx-Rice <address@hidden>
Date: Wed Mar 7 13:28:32 2018 +0100
gnu: c-reduce: Use HTTPS home page.
* gnu/packages/debug.scm (c-reduce)[home-page]: Use HTTPS.
---
gnu/packages/debug.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnu/packages/debug.scm b/gnu/packages/debug.scm
index 92d6353..112c656 100644
--- a/gnu/packages/debug.scm
+++ b/gnu/packages/debug.scm
@@ -133,7 +133,7 @@ program to exhibit a bug.")
"file-which" "getopt-tabular"
"regex-common" "sys-cpu")))))
#t)))))
- (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
- branch master updated (30e43e8 -> f358436), Tobias Geerinckx-Rice, 2018/03/07
- 02/14: gnu: c-reduce: Use HTTPS home page.,
Tobias Geerinckx-Rice <=
- 04/14: gnu: mg: Use HTTPS home page., Tobias Geerinckx-Rice, 2018/03/07
- 11/14: gnu: meson: Mark up description., Tobias Geerinckx-Rice, 2018/03/07
- 10/14: gnu: links, lynx, qutebrowser: Update phase style., Tobias Geerinckx-Rice, 2018/03/07
- 01/14: gnu: c-reduce: Update to 2.6.0., Tobias Geerinckx-Rice, 2018/03/07
- 03/14: gnu: mg: Update to 20171014., Tobias Geerinckx-Rice, 2018/03/07
- 08/14: gnu: cppcheck: Update to 1.82., Tobias Geerinckx-Rice, 2018/03/07
- 12/14: gnu: pigz: Update to 2.4., Tobias Geerinckx-Rice, 2018/03/07
- 14/14: gnu: znc: Update to 1.6.6., Tobias Geerinckx-Rice, 2018/03/07
- 06/14: gnu: pam-krb5: Mark up description., Tobias Geerinckx-Rice, 2018/03/07
- 05/14: gnu: pam-krb5: Update to 4.8., Tobias Geerinckx-Rice, 2018/03/07