diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2017-03-30 22:59:53 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2017-03-30 22:59:53 +0200 |
| commit | 84157bb8bf2c610584e0836047da4c710f8eaf76 (patch) | |
| tree | be5d8c7238e32802221db55a3ee83e7f6a58affb /gnu/packages/maths.scm | |
| parent | fa63939acba69e11df44073a7eb687bd2ba48349 (diff) | |
| parent | 03d0aa8b22223b67ec9bbd363c4d5800efdbaf82 (diff) | |
| download | patches-84157bb8bf2c610584e0836047da4c710f8eaf76.tar patches-84157bb8bf2c610584e0836047da4c710f8eaf76.tar.gz | |
Merge branch 'master' into core-updates
Most conflicts are from 6fd52309b8f52c9bb59fccffac53e029ce94b698.
Diffstat (limited to 'gnu/packages/maths.scm')
| -rw-r--r-- | gnu/packages/maths.scm | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index f2e0c663e4..cefc53d67d 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 @@ -2006,7 +2006,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 @@ -2819,7 +2819,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 @@ -3101,6 +3101,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+))) |