FROM debian:9

RUN deb https://images.validation.linaro.org/production-repo stretch-backports main \
	&& wget https://images.validation.linaro.org/staging-repo/staging-repo.key.asc \
    && sudo apt-key add staging-repo.key.asc
    && apt-get update && apt-get upgrade -y \
    && apt-get install -y postgresql lava-server