From 7649e4269ef2107da5fbbb1e112f4be00338d0e9 Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Wed, 7 Mar 2018 13:28:32 +0100 Subject: 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(-) (limited to 'gnu') 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 -- cgit 1.4.1