From 3191deee2bcf71afdccbfd40e91b618241bb72ee Mon Sep 17 00:00:00 2001 From: Pieter Hijma Date: Wed, 31 Jul 2019 15:04:53 +0200 Subject: [PATCH] Change maxima's URL --- doc/installing_mcl.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/installing_mcl.org b/doc/installing_mcl.org index d113fae..d66988b 100644 --- a/doc/installing_mcl.org +++ b/doc/installing_mcl.org @@ -277,7 +277,7 @@ MAXIMA_TAR_FILE=$MAXIMA_PKG.tar.gz MAXIMA_TAR_PATH=$MCL_LIB_DIR/$MAXIMA_TAR_FILE MAXIMA_PATH=$MCL_LIB_DIR/$MAXIMA_PKG -MAXIMA_URL=https://kent.dl.sourceforge.net/project/maxima/Maxima-source/$MAXIMA_VERSION-source/$MAXIMA_TAR_FILE +MAXIMA_URL=https://downloads.sourceforge.net/project/maxima/Maxima-source/$MAXIMA_VERSION-source/$MAXIMA_TAR_FILE if [ ! -f $MAXIMA_TAR_PATH ] then