Manually download Maven 3.6.3 to access Maven Central over HTTPS

.gitlab-ci.yml

@@ -5,7 +5,12 @@ build:
     DEBIAN_FRONTEND: noninteractive
   before_script:
     - apt-get update
-    - apt-get install -y ant dvipng maven python-imaging rubber texlive-fonts-recommended texlive-latex-extra texlive-math-extra wget
+    - apt-get install -y ant dvipng perl python-imaging rubber texlive-fonts-recommended texlive-latex-extra texlive-math-extra wget
+    - wget "https://archive.apache.org/dist/maven/maven-3/3.6.3/binaries/apache-maven-3.6.3-bin.tar.gz"
+    - shasum --algorithm 512 --quiet --check - <<< "c35a1803a6e70a126e80b2b3ae33eed961f83ed74d18fcd16909b2d44d7dada3203f1ffe726c17ef8dcca2dcaa9fca676987befeadc9b9f759967a8cb77181c0 *apache-maven-3.6.3-bin.tar.gz"
+    - tar -zxvf apache-maven-3.6.3-bin.tar.gz
+    - export M2_HOME="${PWD}/apache-maven-3.6.3"
+    - export PATH="${M2_HOME}/bin:$PATH"
     - wget -O plastex.tar.gz https://github.com/tiarno/plastex/archive/1.0.0.tar.gz
     - tar -xzvf plastex.tar.gz
     - (cd plastex-1.0.0 && python setup.py install)