Skip to content

Commit

Permalink
Change maxima's URL
Browse files Browse the repository at this point in the history
  • Loading branch information
Pieter Hijma committed Jul 31, 2019
1 parent ba54b81 commit 3191dee
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/installing_mcl.org
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 3191dee

Please sign in to comment.