# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1609021146 -3600
# Node ID 31bf31efe500670e50f14838b0b893c48f4b068c
# Parent  33dfe120daf0ce3e5ce6d9a1ca86191c127dcaab
Added missing HDMI library declaration.

diff -r 33dfe120daf0 -r 31bf31efe500 pkg/devices/Control
--- a/pkg/devices/Control	Sat Jun 06 22:07:55 2020 +0200
+++ b/pkg/devices/Control	Sat Dec 26 23:19:06 2020 +0100
@@ -34,6 +34,7 @@
 provides: libdrivers-common
 provides: libdrivers-cpm
 provides: libdrivers-gpio
+provides: libdrivers-hdmi
 provides: libdrivers-i2c
 provides: libdrivers-keypad-headers
 provides: libdrivers-keypad-letux400