From 52caadda3674c126cbec014f0727e696278868f3 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 7 May 2018 10:55:39 +0200
Subject: [ci] Add ounit to the base Docker package set.

This should help #6808.
---
 dev/ci/docker/bionic_coq/hooks/post_push | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev/ci/docker/bionic_coq/hooks')

diff --git a/dev/ci/docker/bionic_coq/hooks/post_push b/dev/ci/docker/bionic_coq/hooks/post_push
index 008ef1af3e..6daf337a72 100755
--- a/dev/ci/docker/bionic_coq/hooks/post_push
+++ b/dev/ci/docker/bionic_coq/hooks/post_push
@@ -1,6 +1,6 @@
 #!/usr/bin/env bash
 
-COQCI_VERSION=V2018-05-05
+COQCI_VERSION=V2018-05-07
 docker tag $IMAGE_NAME $DOCKER_REPO:$COQCI_VERSION
 docker push $DOCKER_REPO:$COQCI_VERSION
 
-- 
cgit v1.2.3