[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
11/14: gnu: speedcrunch: Use HTTPS home page.
From: |
guix-commits |
Subject: |
11/14: gnu: speedcrunch: Use HTTPS home page. |
Date: |
Mon, 9 Mar 2020 11:01:46 -0400 (EDT) |
nckx pushed a commit to branch master
in repository guix.
commit 80fafdba1c26cba39d22cbf7ec2bd7199b244b58
Author: Tobias Geerinckx-Rice <address@hidden>
AuthorDate: Sat Jan 18 22:57:49 2020 +0100
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 b7d0421..263f80f 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -5242,7 +5242,7 @@ syntax-highlighted scrollable display and is designed to
be fully used via
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
- branch master updated (0ccc138 -> 4227a73), guix-commits, 2020/03/09
- 04/14: gnu: claws-mail: Update to 3.17.5., guix-commits, 2020/03/09
- 08/14: gnu: idris: Use HTTPS home page., guix-commits, 2020/03/09
- 06/14: gnu: xfce4-power-manager: Don't use NAME in source URI., guix-commits, 2020/03/09
- 02/14: gnu: s6-linux-init: Update to 1.0.4.0., guix-commits, 2020/03/09
- 09/14: gnu: plotutils: Use HTTPS home page., guix-commits, 2020/03/09
- 13/14: gnu: tcsh: Use HTTPS home page., guix-commits, 2020/03/09
- 01/14: download: Remove misbehaving kvin.lv mirror., guix-commits, 2020/03/09
- 11/14: gnu: speedcrunch: Use HTTPS home page.,
guix-commits <=
- 14/14: gnu: libostree: Update to 2020.2., guix-commits, 2020/03/09
- 05/14: gnu: xfburn: Update to 0.6.2., guix-commits, 2020/03/09
- 10/14: gnu: ding: Use HTTPS home page., guix-commits, 2020/03/09
- 07/14: gnu: xfce4-power-manager: Update to 1.7.0., guix-commits, 2020/03/09
- 03/14: gnu: s6: Update to 2.9.0.1., guix-commits, 2020/03/09
- 12/14: gnu: mit-krb5: Use HTTPS home page., guix-commits, 2020/03/09