From 6ab51de96d5d0295b90e228d2c8a5bc166289c35 Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Tue, 21 Apr 2020 18:37:53 -0400
Subject: [PATCH] Fix dockerfile

---
 ci/docker/run/Dockerfile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/ci/docker/run/Dockerfile b/ci/docker/run/Dockerfile
index 83fb70a8e..e5e063a13 100644
--- a/ci/docker/run/Dockerfile
+++ b/ci/docker/run/Dockerfile
@@ -17,11 +17,11 @@ RUN apt-get update \
                         ca-certificates=20180409 \
                         ccache \
                         flex=2.6.4-6 \
-                        git=1:2.17.1-1ubuntu0.6 \
+                        git \
                         libfl-dev=2.6.4-6 \
                         libgoogle-perftools-dev \
-                        perl=5.26.1-6ubuntu0.3 \
-                        python3=3.6.7-1~18.04 \
+                        perl \
+                        python3 \
     && apt-get clean \
     && rm -rf /var/lib/apt/lists/*