Use old tag for binder

Author: mathbunnyru

binder/Dockerfile

@@ -3,7 +3,7 @@
 
 # https://hub.docker.com/r/jupyter/base-notebook/tags
 ARG OWNER=jupyter
-ARG BASE_CONTAINER=$OWNER/base-notebook:2023-02-28
+ARG BASE_CONTAINER=$OWNER/base-notebook:85f615d5cafa
 FROM $BASE_CONTAINER
 
 LABEL maintainer="Jupyter Project <[email protected]>"
@@ -12,6 +12,6 @@ LABEL maintainer="Jupyter Project <[email protected]>"
 # Fix: https://github.com/koalaman/shellcheck/wiki/SC3014
 SHELL ["/bin/bash", "-o", "pipefail", "-c"]
 
-ENV TAG="2023-02-28"
+ENV TAG="85f615d5cafa"
 
 COPY --chown=${NB_UID}:${NB_GID} binder/README.ipynb "${HOME}"/README.ipynb