me
/
guix
Archived
1
0
Fork 0
Code

gnu: c-reduce: Use HTTPS home page. 

* gnu/packages/debug.scm (c-reduce)[home-page]: Use HTTPS.
master
Tobias Geerinckx-Rice 2018-03-07 13:28:32 +01:00
parent 2b30af9541
commit 7649e4269e
No known key found for this signature in database
GPG Key ID: 0DB0FF884F556D79
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gnu/packages/debug.scm
View File

@ -133,7 +133,7 @@ program to exhibit a bug.")
"file-which" "getopt-tabular" "file-which" "getopt-tabular"
"regex-common" "sys-cpu"))))) "regex-common" "sys-cpu")))))
#t))))) #t)))))
(home-page "http://embed.cs.utah.edu/creduce") (home-page "https://embed.cs.utah.edu/creduce")
(synopsis "Reducer for interesting code") (synopsis "Reducer for interesting code")
(description (description
"C-Reduce is a tool that takes a large C or C++ program that has a "C-Reduce is a tool that takes a large C or C++ program that has a