[docker] use binary alt-ergo builds#1010

fdupress wants to merge 1 commit into

mainEasyCrypt/easycrypt:mainfrom

docker-binary-alt-ergoEasyCrypt/easycrypt:docker-binary-alt-ergoCopy head branch name to clipboard