Upgrade to SageMath 8.4 and install JupyterLab

Author: slel

Dockerfile

@@ -1,9 +1,9 @@
 # Dockerfile for binder
 # Reference: https://mybinder.readthedocs.io/en/latest/dockerfile.html#preparing-your-dockerfile
 
-# Temporary work around: the first 8.2 image that was pushed to dockerhub was incompatible
-FROM sagemath/sagemath@sha256:e933509b105f36b9b7de892af847ade7753e058c5d9e0c0f280f591b85ad996d
-# FROM sagemath/sagemath:8.2
+FROM sagemath/sagemath:8.4
+
+RUN sage -pip install jupyterlab
 
 # Copy the contents of the repo in ${HOME}
 COPY --chown=sage:sage . ${HOME}