Closes #1656

2020-05-18 00:38:55 -04:00

arm64

Unfortunately there is no arm64 build of debian:8 so we need to use debian:9 instead.

This is just an exact copy of ../Dockerfile with the base image change.