From 6609b8b1ea9ab96dbe7b510b92bf7b5d4b81b210 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 8 Oct 2018 17:59:13 +0200
Subject: [dune] Fix bad interaction among PR #8627 and #8657

Dangers of not stacking PRs hit again, and here we hit a problem
breaking the build on master due to #8627 adding a new file to install
with for the (implicit) `coq` package and #8657 removing the implicit
status of such package.
---
 dune | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dune b/dune
index 0a0ff213ed..b3073493ea 100644
--- a/dune
+++ b/dune
@@ -18,6 +18,7 @@
 
 (install
  (section lib)
+ (package coq)
  (files
    revision))
 
-- 
cgit v1.2.3