From 80fafdba1c26cba39d22cbf7ec2bd7199b244b58 Mon Sep 17 00:00:00 2001
From: Tobias Geerinckx-Rice <me@tobias.gr>
Date: Sat, 18 Jan 2020 22:57:49 +0100
Subject: [PATCH] gnu: speedcrunch: Use HTTPS home page.

* gnu/packages/maths.scm (speedcrunch)[home-page]: Use HTTPS.
---
 gnu/packages/maths.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index b7d0421be0..263f80f246 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -5242,7 +5242,7 @@ (define-public speedcrunch
 keyboard.  Some distinctive features are auto-completion of functions and
 variables, a formula book, and quick insertion of constants from various
 fields of knowledge.")
-    (home-page "http://speedcrunch.org/")
+    (home-page "https://speedcrunch.org/")
     (license license:gpl2+)))
 
 (define-public minisat