# HG changeset patch
# User Chris Cannam
# Date 1544615297 0
# Node ID 825d63ed6ca05d475a2b511199dd074d0fb94a1b
# Parent  87d4237226564ecf6b00eeb2b05b45f7cd5b9c74
Correct package name

diff -r 87d423722656 -r 825d63ed6ca0 deploy/linux/docker/Dockerfile_test_deb.in
--- a/deploy/linux/docker/Dockerfile_test_deb.in	Wed Dec 12 11:44:21 2018 +0000
+++ b/deploy/linux/docker/Dockerfile_test_deb.in	Wed Dec 12 11:48:17 2018 +0000
@@ -1,6 +1,6 @@
 FROM ubuntu:18.04
 RUN apt-get update
-ADD output/EasyMercurial_[[RELEASE]]_amd64.deb EasyMercurial_[[RELEASE]]_amd64.deb
-RUN apt install -y ./EasyMercurial_[[RELEASE]]_amd64.deb
+ADD output/easymercurial_[[RELEASE]]_amd64.deb easymercurial_[[RELEASE]]_amd64.deb
+RUN apt install -y ./easymercurial_[[RELEASE]]_amd64.deb
 RUN /usr/bin/EasyMercurial --version