From f2b48649c16f731ddae2a6adb6bbc0a236973451 Mon Sep 17 00:00:00 2001
From: satmandu <satadru@umich.edu>
Date: Tue, 7 Jul 2020 17:04:45 -0400
Subject: [PATCH] Allows clean upgrades of debian libcec-dev.

---
 debian/control | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/debian/control b/debian/control
index e05a0638..fbfcba53 100644
--- a/debian/control
+++ b/debian/control
@@ -22,6 +22,8 @@ Architecture: any
 Section: libdevel
 Depends: libcec4 (= ${binary:Version}),
          ${misc:Depends}
+Replaces: libcec-dev
+Provides: libcec-dev
 Description: libCEC communication Library (development files)
  This library provides support for the Pulse-Eight USB-CEC adapter.
  .