From 0a220ea4714bff72f0fb2b27ae8de7bc45561900 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Thu, 26 Feb 2009 19:09:54 +0100
Subject: Add missing Conflicts and Replaces (Closes: #517107)

---
 debian/changelog | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'debian/changelog')

diff --git a/debian/changelog b/debian/changelog
index 61566020..6e0286ee 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -5,8 +5,10 @@ coq (8.2-1+dfsg-1) UNRELEASED; urgency=low
   * Added coqvars.mk helper for coq-related packages, and remove
     /usr/lib/coq/abi (its contents is now it the COQ_ABI variable)
   * Remove dependency on dpatch
+  * Add some missing Conflicts and Replaces in coq and libcoq-ocaml-dev
+    (Closes: #517107)
 
- -- Stephane Glondu <steph@glondu.net>  Fri, 20 Feb 2009 15:21:15 +0100
+ -- Stephane Glondu <steph@glondu.net>  Thu, 26 Feb 2009 19:09:28 +0100
 
 coq (8.2~rc2+dfsg-3) experimental; urgency=low
 
-- 
cgit v1.2.3