Merge branch 'stable-1.4'

Author: wilfwilson

ci/docker-test.sh

@@ -142,14 +142,16 @@ for PKG in "${PKGS[@]}"; do
 
   # Get the relevant version number
   if [ "${PACKAGES[0]}" == "latest" ] || [ "$PKG" == "profiling" ]; then
-    VERSION=`$CURL -s "https://github.com/gap-packages/$PKG/releases/latest" | grep \<title\>Release | awk -F' ' '{print $2}'`
+    VERSION=`$CURL -s "https://api.github.com/repos/gap-packages/${PKG}/releases" | grep tag_name | head -n 1 | awk -F'"' '{print $4}'`
   else
     VERSION=`grep "\"$PKG\"" $GAP_HOME/pkg/digraphs/PackageInfo.g | awk -F'"' '{print $4}' | cut -c3-`
   fi
 
   if [ -z $VERSION ]; then
     bold "Could not determine the version number of the package $PKG!! Aborting..."
     exit 1
+  elif [ "${VERSION:0:1}" == "v" ]; then
+    VERSION=${VERSION:1}
   fi
 
   URL="https://github.com/gap-packages/$PKG/releases/download/v$VERSION/$PKG-$VERSION.tar.gz"

scripts/travis-build-dependencies.sh

@@ -74,14 +74,16 @@ for PKG in "${PKGS[@]}"; do
 
   # Get the relevant version number
   if [ "${PACKAGES[0]}" == "latest" ] || [ "$PKG" == "profiling" ]; then
-    VERSION=`$CURL -s "https://github.com/gap-packages/$PKG/releases/latest" | grep \<title\>Release | awk -F' ' '{print $2}'`
+    VERSION=`$CURL -s "https://api.github.com/repos/gap-packages/${PKG}/releases" | grep tag_name | head -n 1 | awk -F'"' '{print $4}'`
   else
     VERSION=`grep "\"$PKG\"" $GAPROOT/pkg/digraphs/PackageInfo.g | awk -F'"' '{print $4}' | cut -c3-`
   fi
 
   if [ -z $VERSION ]; then
     echo -e "\nCould not determine the version number of the package $PKG!! Aborting..."
     exit 1
+  elif [ "${VERSION:0:1}" == "v" ]; then
+    VERSION=${VERSION:1}
   fi
 
   URL="https://github.com/gap-packages/$PKG/releases/download/v$VERSION/$PKG-$VERSION.tar.gz"