diff --git a/debian/changelog b/debian/changelog
index 4e89c83..ddd70b8 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,6 +3,9 @@
   * Be more precise in install files to avoid that usr/bin/coqidetop.{opt,byte}
     gets installed in both the coq and coqide packages (closes: #949975)
   * Add an as-installed test for the compiler and the toplevel.
+  * Build-Conflicts with libcoq-ocaml. This seems to be necessary to avoid
+    that coq depends on two versions of libcoq-ocaml: the one being build,
+    and the one that is being compiled.
 
  -- Ralf Treinen <treinen@debian.org>  Tue, 28 Jan 2020 11:47:05 +0100
 
diff --git a/debian/control b/debian/control
index 96836f9..3a76cee 100644
--- a/debian/control
+++ b/debian/control
@@ -24,6 +24,7 @@
  rsync,
  texlive-latex-extra,
  hevea (>= 1.10-7)
+Build-Conflicts: libcoq-ocaml
 Homepage: http://coq.inria.fr/
 Vcs-Browser: https://salsa.debian.org/ocaml-team/coq
 Vcs-Git: https://salsa.debian.org/ocaml-team/coq.git