aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2018-03-07 13:28:32 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2018-03-07 15:37:11 +0100
commit7649e4269ef2107da5fbbb1e112f4be00338d0e9 (patch)
tree730af6b27c997b04c1bf6bf46f5c25ec8e84c27a
parent2b30af95416f37f8e371d59f6a7dd8607aea6e2a (diff)
downloadpatches-7649e4269ef2107da5fbbb1e112f4be00338d0e9.tar
patches-7649e4269ef2107da5fbbb1e112f4be00338d0e9.tar.gz
gnu: c-reduce: Use HTTPS home page.
* gnu/packages/debug.scm (c-reduce)[home-page]: Use HTTPS.
-rw-r--r--gnu/packages/debug.scm2
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/debug.scm b/gnu/packages/debug.scm
index 92d635332f..112c656ff8 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