aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2017-03-30 00:48:16 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2017-03-30 01:30:16 +0200
commit6fd52309b8f52c9bb59fccffac53e029ce94b698 (patch)
treebf54edb6c182356547acfa82deba8c402b03738c /gnu/packages/maths.scm
parentc219997a146dc7a955d4f58d36afab2aa926f49c (diff)
downloadguix-6fd52309b8f52c9bb59fccffac53e029ce94b698.tar
guix-6fd52309b8f52c9bb59fccffac53e029ce94b698.tar.gz
gnu: Use HTTPS for almost all gnu.org HOME-PAGEs.
All HTTP gnu.org (and supported subdomain) HOME-PAGEs changed to HTTPS.
Diffstat (limited to 'gnu/packages/maths.scm')
-rw-r--r--gnu/packages/maths.scm16
1 files changed, 8 insertions, 8 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index a5cdacb632..f7204ee6a3 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -120,7 +120,7 @@ rules, Aris also supports references to older proofs. Its use of standard
logical symbols and its natural deduction interface make it easy to use for
beginners.")
(license license:gpl3+)
- (home-page "http://www.gnu.org/software/aris/")))
+ (home-page "https://www.gnu.org/software/aris/")))
(define-public c-graph
(package
@@ -143,7 +143,7 @@ theory in visualizing the convolution process. Rather than forcing the
student to write code, the program offers an intuitive interface with
interactive dialogs to guide them.")
(license license:gpl3+)
- (home-page "http://www.gnu.org/software/c-graph/")))
+ (home-page "https://www.gnu.org/software/c-graph/")))
(define-public coda
(package
@@ -205,7 +205,7 @@ prefixes (micro-, kilo-, etc.). It can also handle nonlinear
conversions such as Fahrenheit to Celsius. Its interpreter is powerful
enough to be used effectively as a scientific calculator.")
(license license:gpl3+)
- (home-page "http://www.gnu.org/software/units/")))
+ (home-page "https://www.gnu.org/software/units/")))
(define-public double-conversion
(package
@@ -254,7 +254,7 @@ searched using a simple command-line tool, choosing from three databases:
universal constants, atomic numbers, and constants related to
semiconductors.")
(license license:gpl3+)
- (home-page "http://www.gnu.org/software/dionysus/")))
+ (home-page "https://www.gnu.org/software/dionysus/")))
(define-public gsl
(package
@@ -271,7 +271,7 @@ semiconductors.")
(build-system gnu-build-system)
(arguments
`(#:parallel-tests? #f))
- (home-page "http://www.gnu.org/software/gsl/")
+ (home-page "https://www.gnu.org/software/gsl/")
(synopsis "Numerical library for C and C++")
(description
"The GNU Scientific Library is a library for numerical analysis in C
@@ -2000,7 +2000,7 @@ processor cores.")
("popt" ,popt)))
(native-inputs
`(("pkg-config" ,pkg-config)))
- (home-page "http://www.gnu.org/software/gsegrafix/")
+ (home-page "https://www.gnu.org/software/gsegrafix/")
(synopsis "GNOME application to create scientific and engineering plots")
(description "GSEGrafix is an application which produces high-quality graphical
plots for science and engineering. Plots are specified via simple ASCII
@@ -2809,7 +2809,7 @@ patterns and allows you to zoom in and out of them infinitely in a fluid,
continuous manner. It also includes tutorials that help to explain how fractals
are built. It can generate many different fractal types such as the Mandelbrot
set.")
- (home-page "http://www.gnu.org/software/xaos/")
+ (home-page "https://www.gnu.org/software/xaos/")
(license license:gpl2+)))
(define-public hypre
@@ -3091,6 +3091,6 @@ Longest Commons Subsequence of a set of strings.")
(description "GNU JACAL is an interactive symbolic mathematics program based on
Scheme. It manipulate and simplify a range of mathematical expressions such
as equations, scalars, vectors, and matrices.")
- (home-page "http://www.gnu.org/software/jacal")
+ (home-page "https://www.gnu.org/software/jacal/")
(license license:gpl3+)))