fix dockerfiles

Author: fdupress

scripts/docker/Dockerfile.base

@@ -2,11 +2,11 @@
 
 FROM debian:stable
 
-MAINTAINER Pierre-Yves Strub <[email protected]>
+LABEL org.opencontainers.image.maintainer="Pierre-Yves Strub <[email protected]>"
 
 ARG user=charlie
 
-ENV DEBIAN_FRONTEND noninteractive
+ENV DEBIAN_FRONTEND=noninteractive
 
 RUN \
 	apt-get -q -y update && \

scripts/docker/Dockerfile.test

@@ -5,7 +5,6 @@ FROM ./Dockerfile.build
 ARG EC_VERSION=main
 
 RUN \
-	opam pin --dev-repo \
-	add -n easycrypt https://github.com/EasyCrypt/easycrypt.git#${EC_VERSION} && \
+	opam pin add -n easycrypt https://github.com/EasyCrypt/easycrypt.git#${EC_VERSION} && \
 	opam install -v easycrypt && \
 	rm -rf .opam/packages.dev/*