@@ -1,36 +1,36 @@
1{ components =
1{ components =
2− { abode = ∀ α β. α -> [β];
2+ { abode = ∀ α β. α -> β;
3− accuweather = ∀ α β. α -> [β];
3+ accuweather = ∀ α β. α -> β;
4 acer_projector = ∀ α β. (α.pyserial = β) => α -> [β];
4 acer_projector = ∀ α β. (α.pyserial = β) => α -> [β];
5− acmeda = ∀ α β. α -> [β];
5+ acmeda = ∀ α β. α -> β;
6− actiontec = ∀ α β. α -> [β];
6+ actiontec = ∀ α β. α -> β;
7− adguard = ∀ α β. α -> [β];
7+ adguard = ∀ α β. α -> β;
8− ads = ∀ α β. α -> [β];
8+ ads = ∀ α β. α -> β;
9− aftership = ∀ α β. α -> [β];
9+ aftership = ∀ α β. α -> β;
10− agent_dvr = ∀ α β. α -> [β];
10+ agent_dvr = ∀ α β. α -> β;
11− air_quality = ∀ α β. α -> [β];
11+ air_quality = ∀ α β. α -> β;
12− airly = ∀ α β. α -> [β];
12+ airly = ∀ α β. α -> β;
13 airvisual = ∀ α β. (α.pyairvisual = β) => α -> [β];
13 airvisual = ∀ α β. (α.pyairvisual = β) => α -> [β];
14− aladdin_connect = ∀ α β. α -> [β];
14+ aladdin_connect = ∀ α β. α -> β;
15− alarm_control_panel = ∀ α β. α -> [β];
15+ alarm_control_panel = ∀ α β. α -> β;
16− alarmdecoder = ∀ α β. α -> [β];
16+ alarmdecoder = ∀ α β. α -> β;
17− alert = ∀ α β. α -> [β];
17+ alert = ∀ α β. α -> β;
18 alexa = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
18 alexa = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
19 almond = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
19 almond = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
20− alpha_vantage = ∀ α β. α -> [β];
20+ alpha_vantage = ∀ α β. α -> β;
21 amazon_polly = ∀ α β. (α.boto3 = β) => α -> [β];
21 amazon_polly = ∀ α β. (α.boto3 = β) => α -> [β];
22 ambiclimate = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
22 ambiclimate = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
23− ambient_station = ∀ α β. α -> [β];
23+ ambient_station = ∀ α β. α -> β;
24 amcrest = ∀ α β. (α.ha-ffmpeg = β) => α -> [β];
24 amcrest = ∀ α β. (α.ha-ffmpeg = β) => α -> [β];
25− ampio = ∀ α β. α -> [β];
25+ ampio = ∀ α β. α -> β;
26− android_ip_webcam = ∀ α β. α -> [β];
26+ android_ip_webcam = ∀ α β. α -> β;
27− androidtv = ∀ α β. α -> [β];
27+ androidtv = ∀ α β. α -> β;
28− anel_pwrctrl = ∀ α β. α -> [β];
28+ anel_pwrctrl = ∀ α β. α -> β;
29− anthemav = ∀ α β. α -> [β];
29+ anthemav = ∀ α β. α -> β;
30 apache_kafka = ∀ α β. (α.aiokafka = β) => α -> [β];
30 apache_kafka = ∀ α β. (α.aiokafka = β) => α -> [β];
31− apcupsd = ∀ α β. α -> [β];
31+ apcupsd = ∀ α β. α -> β;
32 api = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
32 api = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
33− apns = ∀ α β. α -> [β];
33+ apns = ∀ α β. α -> β;
34 apple_tv =
34 apple_tv =
36 ( α.aiohttp-cors = β,
36 ( α.aiohttp-cors = β,
@@ -40,71 +40,71 @@
42 apprise = ∀ α β. (α.apprise = β) => α -> [β];
42 apprise = ∀ α β. (α.apprise = β) => α -> [β];
43− aprs = ∀ α β. α -> [β];
43+ aprs = ∀ α β. α -> β;
44− aqualogic = ∀ α β. α -> [β];
44+ aqualogic = ∀ α β. α -> β;
45− aquostv = ∀ α β. α -> [β];
45+ aquostv = ∀ α β. α -> β;
46− arcam_fmj = ∀ α β. α -> [β];
46+ arcam_fmj = ∀ α β. α -> β;
47− arduino = ∀ α β. α -> [β];
47+ arduino = ∀ α β. α -> β;
48− arest = ∀ α β. α -> [β];
48+ arest = ∀ α β. α -> β;
49 arlo = ∀ α β. (α.ha-ffmpeg = β) => α -> [β];
49 arlo = ∀ α β. (α.ha-ffmpeg = β) => α -> [β];
50− arris_tg2492lg = ∀ α β. α -> [β];
50+ arris_tg2492lg = ∀ α β. α -> β;
51 aruba = ∀ α β. (α.pexpect = β) => α -> [β];
51 aruba = ∀ α β. (α.pexpect = β) => α -> [β];
52 arwn = ∀ α β. (α.aiohttp-cors = β, α.paho-mqtt = β) => α -> [β];
52 arwn = ∀ α β. (α.aiohttp-cors = β, α.paho-mqtt = β) => α -> [β];
53− asterisk_cdr = ∀ α β. α -> [β];
53+ asterisk_cdr = ∀ α β. α -> β;
54− asterisk_mbox = ∀ α β. α -> [β];
54+ asterisk_mbox = ∀ α β. α -> β;
55− asuswrt = ∀ α β. α -> [β];
55+ asuswrt = ∀ α β. α -> β;
56− atag = ∀ α β. α -> [β];
56+ atag = ∀ α β. α -> β;
57− aten_pe = ∀ α β. α -> [β];
57+ aten_pe = ∀ α β. α -> β;
58− atome = ∀ α β. α -> [β];
58+ atome = ∀ α β. α -> β;
59− august = ∀ α β. α -> [β];
59+ august = ∀ α β. α -> β;
60− aurora = ∀ α β. α -> [β];
60+ aurora = ∀ α β. α -> β;
61− aurora_abb_powerone = ∀ α β. α -> [β];
61+ aurora_abb_powerone = ∀ α β. α -> β;
62 auth = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
62 auth = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
63 automation = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
63 automation = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
64− avea = ∀ α β. α -> [β];
64+ avea = ∀ α β. α -> β;
65− avion = ∀ α β. α -> [β];
65+ avion = ∀ α β. α -> β;
66 avri = ∀ α β. (α.pycountry = β) => α -> [β];
66 avri = ∀ α β. (α.pycountry = β) => α -> [β];
67− awair = ∀ α β. α -> [β];
67+ awair = ∀ α β. α -> β;
68− aws = ∀ α β. α -> [β];
68+ aws = ∀ α β. α -> β;
69 axis = ∀ α β. (α.aiohttp-cors = β, α.paho-mqtt = β) => α -> [β];
69 axis = ∀ α β. (α.aiohttp-cors = β, α.paho-mqtt = β) => α -> [β];
70− azure_devops = ∀ α β. α -> [β];
70+ azure_devops = ∀ α β. α -> β;
71− azure_event_hub = ∀ α β. α -> [β];
71+ azure_event_hub = ∀ α β. α -> β;
72 azure_service_bus = ∀ α β. (α.azure-servicebus = β) => α -> [β];
72 azure_service_bus = ∀ α β. (α.azure-servicebus = β) => α -> [β];
73− baidu = ∀ α β. α -> [β];
73+ baidu = ∀ α β. α -> β;
74− bayesian = ∀ α β. α -> [β];
74+ bayesian = ∀ α β. α -> β;
75− bbb_gpio = ∀ α β. α -> [β];
75+ bbb_gpio = ∀ α β. α -> β;
76− bbox = ∀ α β. α -> [β];
76+ bbox = ∀ α β. α -> β;
77− beewi_smartclim = ∀ α β. α -> [β];
77+ beewi_smartclim = ∀ α β. α -> β;
78− bh1750 = ∀ α β. α -> [β];
78+ bh1750 = ∀ α β. α -> β;
79− binary_sensor = ∀ α β. α -> [β];
79+ binary_sensor = ∀ α β. α -> β;
80− bitcoin = ∀ α β. α -> [β];
80+ bitcoin = ∀ α β. α -> β;
81− bizkaibus = ∀ α β. α -> [β];
81+ bizkaibus = ∀ α β. α -> β;
82− blackbird = ∀ α β. α -> [β];
82+ blackbird = ∀ α β. α -> β;
83− blebox = ∀ α β. α -> [β];
83+ blebox = ∀ α β. α -> β;
84− blink = ∀ α β. α -> [β];
84+ blink = ∀ α β. α -> β;
85 blinksticklight = ∀ α β. (α.BlinkStick = β) => α -> [β];
85 blinksticklight = ∀ α β. (α.BlinkStick = β) => α -> [β];
86− blinkt = ∀ α β. α -> [β];
86+ blinkt = ∀ α β. α -> β;
87− blockchain = ∀ α β. α -> [β];
87+ blockchain = ∀ α β. α -> β;
88− bloomsky = ∀ α β. α -> [β];
88+ bloomsky = ∀ α β. α -> β;
89 bluesound = ∀ α β. (α.xmltodict = β) => α -> [β];
89 bluesound = ∀ α β. (α.xmltodict = β) => α -> [β];
90− bluetooth_le_tracker = ∀ α β. α -> [β];
90+ bluetooth_le_tracker = ∀ α β. α -> β;
91 bluetooth_tracker = ∀ α β. (α.bt_proximity = β) => α -> [β];
91 bluetooth_tracker = ∀ α β. (α.bt_proximity = β) => α -> [β];
92− bme280 = ∀ α β. α -> [β];
92+ bme280 = ∀ α β. α -> β;
93− bme680 = ∀ α β. α -> [β];
93+ bme680 = ∀ α β. α -> β;
94− bmp280 = ∀ α β. α -> [β];
94+ bmp280 = ∀ α β. α -> β;
95− bmw_connected_drive = ∀ α β. α -> [β];
95+ bmw_connected_drive = ∀ α β. α -> β;
96− bom = ∀ α β. α -> [β];
96+ bom = ∀ α β. α -> β;
97− bond = ∀ α β. α -> [β];
97+ bond = ∀ α β. α -> β;
98 braviatv = ∀ α β. (α.bravia-tv = β) => α -> [β];
98 braviatv = ∀ α β. (α.bravia-tv = β) => α -> [β];
99 broadlink = ∀ α β. (α.broadlink = β) => α -> [β];
99 broadlink = ∀ α β. (α.broadlink = β) => α -> [β];
100 brother = ∀ α β. (α.brother = β) => α -> [β];
100 brother = ∀ α β. (α.brother = β) => α -> [β];
101− brottsplatskartan = ∀ α β. α -> [β];
101+ brottsplatskartan = ∀ α β. α -> β;
102− browser = ∀ α β. α -> [β];
102+ browser = ∀ α β. α -> β;
103− brunt = ∀ α β. α -> [β];
103+ brunt = ∀ α β. α -> β;
104− bsblan = ∀ α β. α -> [β];
104+ bsblan = ∀ α β. α -> β;
105− bt_home_hub_5 = ∀ α β. α -> [β];
105+ bt_home_hub_5 = ∀ α β. α -> β;
106− bt_smarthub = ∀ α β. α -> [β];
106+ bt_smarthub = ∀ α β. α -> β;
107− buienradar = ∀ α β. α -> [β];
107+ buienradar = ∀ α β. α -> β;
108 caldav = ∀ α β. (α.caldav = β) => α -> [β];
108 caldav = ∀ α β. (α.caldav = β) => α -> [β];
109 calendar = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
109 calendar = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
110 camera = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
110 camera = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
@@ -117,50 +117,50 @@
117 α.zeroconf = β
117 α.zeroconf = β
119 α -> [β];
119 α -> [β];
120− cert_expiry = ∀ α β. α -> [β];
120+ cert_expiry = ∀ α β. α -> β;
121− channels = ∀ α β. α -> [β];
121+ channels = ∀ α β. α -> β;
122− circuit = ∀ α β. α -> [β];
122+ circuit = ∀ α β. α -> β;
123 cisco_ios = ∀ α β. (α.pexpect = β) => α -> [β];
123 cisco_ios = ∀ α β. (α.pexpect = β) => α -> [β];
124− cisco_mobility_express = ∀ α β. α -> [β];
124+ cisco_mobility_express = ∀ α β. α -> β;
125− cisco_webex_teams = ∀ α β. α -> [β];
125+ cisco_webex_teams = ∀ α β. α -> β;
126− citybikes = ∀ α β. α -> [β];
126+ citybikes = ∀ α β. α -> β;
127− clementine = ∀ α β. α -> [β];
127+ clementine = ∀ α β. α -> β;
128− clickatell = ∀ α β. α -> [β];
128+ clickatell = ∀ α β. α -> β;
129− clicksend = ∀ α β. α -> [β];
129+ clicksend = ∀ α β. α -> β;
130− clicksend_tts = ∀ α β. α -> [β];
130+ clicksend_tts = ∀ α β. α -> β;
131− climate = ∀ α β. α -> [β];
131+ climate = ∀ α β. α -> β;
132 cloud = ∀ α β. (α.aiohttp-cors = β, α.hass-nabucasa = β) => α -> [β];
132 cloud = ∀ α β. (α.aiohttp-cors = β, α.hass-nabucasa = β) => α -> [β];
133− cloudflare = ∀ α β. α -> [β];
133+ cloudflare = ∀ α β. α -> β;
134− cmus = ∀ α β. α -> [β];
134+ cmus = ∀ α β. α -> β;
135− co2signal = ∀ α β. α -> [β];
135+ co2signal = ∀ α β. α -> β;
136− coinbase = ∀ α β. α -> [β];
136+ coinbase = ∀ α β. α -> β;
137 coinmarketcap = ∀ α β. (α.coinmarketcap = β) => α -> [β];
137 coinmarketcap = ∀ α β. (α.coinmarketcap = β) => α -> [β];
138− comed_hourly_pricing = ∀ α β. α -> [β];
138+ comed_hourly_pricing = ∀ α β. α -> β;
139− comfoconnect = ∀ α β. α -> [β];
139+ comfoconnect = ∀ α β. α -> β;
140− command_line = ∀ α β. α -> [β];
140+ command_line = ∀ α β. α -> β;
141− concord232 = ∀ α β. α -> [β];
141+ concord232 = ∀ α β. α -> β;
142 config = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
142 config = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
143− configurator = ∀ α β. α -> [β];
143+ configurator = ∀ α β. α -> β;
144− control4 = ∀ α β. α -> [β];
144+ control4 = ∀ α β. α -> β;
145 conversation = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
145 conversation = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
146− coolmaster = ∀ α β. α -> [β];
146+ coolmaster = ∀ α β. α -> β;
147− coronavirus = ∀ α β. α -> [β];
147+ coronavirus = ∀ α β. α -> β;
148− counter = ∀ α β. α -> [β];
148+ counter = ∀ α β. α -> β;
149− cover = ∀ α β. α -> [β];
149+ cover = ∀ α β. α -> β;
150− cppm_tracker = ∀ α β. α -> [β];
150+ cppm_tracker = ∀ α β. α -> β;
151 cpuspeed = ∀ α β. (α.py-cpuinfo = β) => α -> [β];
151 cpuspeed = ∀ α β. (α.py-cpuinfo = β) => α -> [β];
152− crimereports = ∀ α β. α -> [β];
152+ crimereports = ∀ α β. α -> β;
153 cups = ∀ α β. (α.pycups = β) => α -> [β];
153 cups = ∀ α β. (α.pycups = β) => α -> [β];
154− currencylayer = ∀ α β. α -> [β];
154+ currencylayer = ∀ α β. α -> β;
155− daikin = ∀ α β. α -> [β];
155+ daikin = ∀ α β. α -> β;
156− danfoss_air = ∀ α β. α -> [β];
156+ danfoss_air = ∀ α β. α -> β;
157 darksky = ∀ α β. (α.python-forecastio = β) => α -> [β];
157 darksky = ∀ α β. (α.python-forecastio = β) => α -> [β];
158 datadog = ∀ α β. (α.datadog = β) => α -> [β];
158 datadog = ∀ α β. (α.datadog = β) => α -> [β];
159− ddwrt = ∀ α β. α -> [β];
159+ ddwrt = ∀ α β. α -> β;
160 debugpy = ∀ α β. (α.debugpy = β) => α -> [β];
160 debugpy = ∀ α β. (α.debugpy = β) => α -> [β];
161− deconz = ∀ α β. α -> [β];
161+ deconz = ∀ α β. α -> β;
162 decora = ∀ α β. (α.bluepy = β) => α -> [β];
162 decora = ∀ α β. (α.bluepy = β) => α -> [β];
163− decora_wifi = ∀ α β. α -> [β];
163+ decora_wifi = ∀ α β. α -> β;
164 default_config =
164 default_config =
166 ( α.aiohttp-cors = β,
166 ( α.aiohttp-cors = β,
@@ -174,157 +174,157 @@
174 α.zeroconf = β
174 α.zeroconf = β
176 α -> [β];
176 α -> [β];
177− delijn = ∀ α β. α -> [β];
177+ delijn = ∀ α β. α -> β;
178 deluge = ∀ α β. (α.deluge-client = β) => α -> [β];
178 deluge = ∀ α β. (α.deluge-client = β) => α -> [β];
179 demo = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
179 demo = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
180− denon = ∀ α β. α -> [β];
180+ denon = ∀ α β. α -> β;
181 denonavr = ∀ α β. (α.denonavr = β, α.getmac = β) => α -> [β];
181 denonavr = ∀ α β. (α.denonavr = β, α.getmac = β) => α -> [β];
182− derivative = ∀ α β. α -> [β];
182+ derivative = ∀ α β. α -> β;
183− deutsche_bahn = ∀ α β. α -> [β];
183+ deutsche_bahn = ∀ α β. α -> β;
184− device_automation = ∀ α β. α -> [β];
184+ device_automation = ∀ α β. α -> β;
185− device_sun_light_trigger = ∀ α β. α -> [β];
185+ device_sun_light_trigger = ∀ α β. α -> β;
186− device_tracker = ∀ α β. α -> [β];
186+ device_tracker = ∀ α β. α -> β;
187− devolo_home_control = ∀ α β. α -> [β];
187+ devolo_home_control = ∀ α β. α -> β;
188− dexcom = ∀ α β. α -> [β];
188+ dexcom = ∀ α β. α -> β;
189− dht = ∀ α β. α -> [β];
189+ dht = ∀ α β. α -> β;
190 dialogflow = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
190 dialogflow = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
191 digital_ocean = ∀ α β. (α.digital-ocean = β) => α -> [β];
191 digital_ocean = ∀ α β. (α.digital-ocean = β) => α -> [β];
192− digitalloggers = ∀ α β. α -> [β];
192+ digitalloggers = ∀ α β. α -> β;
193− directv = ∀ α β. α -> [β];
193+ directv = ∀ α β. α -> β;
194 discogs = ∀ α β. (α.discogs_client = β) => α -> [β];
194 discogs = ∀ α β. (α.discogs_client = β) => α -> [β];
195 discord = ∀ α β. (α.discordpy = β) => α -> [β];
195 discord = ∀ α β. (α.discordpy = β) => α -> [β];
196 discovery =
196 discovery =
197 ∀ α β. (α.aiohttp-cors = β, α.netdisco = β, α.zeroconf = β) => α -> [β];
197 ∀ α β. (α.aiohttp-cors = β, α.netdisco = β, α.zeroconf = β) => α -> [β];
198 dlib_face_detect = ∀ α β. (α.face_recognition = β) => α -> [β];
198 dlib_face_detect = ∀ α β. (α.face_recognition = β) => α -> [β];
199 dlib_face_identify = ∀ α β. (α.face_recognition = β) => α -> [β];
199 dlib_face_identify = ∀ α β. (α.face_recognition = β) => α -> [β];
200− dlink = ∀ α β. α -> [β];
200+ dlink = ∀ α β. α -> β;
201 dlna_dmr = ∀ α β. (α.async-upnp-client = β) => α -> [β];
201 dlna_dmr = ∀ α β. (α.async-upnp-client = β) => α -> [β];
202 dnsip = ∀ α β. (α.aiodns = β) => α -> [β];
202 dnsip = ∀ α β. (α.aiodns = β) => α -> [β];
203 dominos = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
203 dominos = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
204 doods = ∀ α β. (α.pillow = β) => α -> [β];
204 doods = ∀ α β. (α.pillow = β) => α -> [β];
205 doorbird = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
205 doorbird = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
206− dovado = ∀ α β. α -> [β];
206+ dovado = ∀ α β. α -> β;
207− downloader = ∀ α β. α -> [β];
207+ downloader = ∀ α β. α -> β;
208− dsmr = ∀ α β. α -> [β];
208+ dsmr = ∀ α β. α -> β;
209 dsmr_reader = ∀ α β. (α.aiohttp-cors = β, α.paho-mqtt = β) => α -> [β];
209 dsmr_reader = ∀ α β. (α.aiohttp-cors = β, α.paho-mqtt = β) => α -> [β];
210− dte_energy_bridge = ∀ α β. α -> [β];
210+ dte_energy_bridge = ∀ α β. α -> β;
211− dublin_bus_transport = ∀ α β. α -> [β];
211+ dublin_bus_transport = ∀ α β. α -> β;
212− duckdns = ∀ α β. α -> [β];
212+ duckdns = ∀ α β. α -> β;
213− dunehd = ∀ α β. α -> [β];
213+ dunehd = ∀ α β. α -> β;
214 dwd_weather_warnings =
214 dwd_weather_warnings =
215 ∀ α β. (α.jsonpath = β, α.xmltodict = β) => α -> [β];
215 ∀ α β. (α.jsonpath = β, α.xmltodict = β) => α -> [β];
216− dweet = ∀ α β. α -> [β];
216+ dweet = ∀ α β. α -> β;
217− dynalite = ∀ α β. α -> [β];
217+ dynalite = ∀ α β. α -> β;
218 dyson = ∀ α β. (α.aiohttp-cors = β, α.zeroconf = β) => α -> [β];
218 dyson = ∀ α β. (α.aiohttp-cors = β, α.zeroconf = β) => α -> [β];
219− ebox = ∀ α β. α -> [β];
219+ ebox = ∀ α β. α -> β;
220− ebusd = ∀ α β. α -> [β];
220+ ebusd = ∀ α β. α -> β;
221− ecoal_boiler = ∀ α β. α -> [β];
221+ ecoal_boiler = ∀ α β. α -> β;
222− ecobee = ∀ α β. α -> [β];
222+ ecobee = ∀ α β. α -> β;
223− econet = ∀ α β. α -> [β];
223+ econet = ∀ α β. α -> β;
224− ecovacs = ∀ α β. α -> [β];
224+ ecovacs = ∀ α β. α -> β;
225 eddystone_temperature = ∀ α β. (α.construct = β) => α -> [β];
225 eddystone_temperature = ∀ α β. (α.construct = β) => α -> [β];
226− edimax = ∀ α β. α -> [β];
226+ edimax = ∀ α β. α -> β;
227− edl21 = ∀ α β. α -> [β];
227+ edl21 = ∀ α β. α -> β;
228− ee_brightbox = ∀ α β. α -> [β];
228+ ee_brightbox = ∀ α β. α -> β;
229− efergy = ∀ α β. α -> [β];
229+ efergy = ∀ α β. α -> β;
230− egardia = ∀ α β. α -> [β];
230+ egardia = ∀ α β. α -> β;
231− eight_sleep = ∀ α β. α -> [β];
231+ eight_sleep = ∀ α β. α -> β;
232− elgato = ∀ α β. α -> [β];
232+ elgato = ∀ α β. α -> β;
233− eliqonline = ∀ α β. α -> [β];
233+ eliqonline = ∀ α β. α -> β;
234− elkm1 = ∀ α β. α -> [β];
234+ elkm1 = ∀ α β. α -> β;
235− elv = ∀ α β. α -> [β];
235+ elv = ∀ α β. α -> β;
236− emby = ∀ α β. α -> [β];
236+ emby = ∀ α β. α -> β;
237− emoncms = ∀ α β. α -> [β];
237+ emoncms = ∀ α β. α -> β;
238− emoncms_history = ∀ α β. α -> [β];
238+ emoncms_history = ∀ α β. α -> β;
239 emulated_hue = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
239 emulated_hue = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
240− emulated_roku = ∀ α β. α -> [β];
240+ emulated_roku = ∀ α β. α -> β;
241 enigma2 = ∀ α β. (α.openwebifpy = β) => α -> [β];
241 enigma2 = ∀ α β. (α.openwebifpy = β) => α -> [β];
242− enocean = ∀ α β. α -> [β];
242+ enocean = ∀ α β. α -> β;
243− enphase_envoy = ∀ α β. α -> [β];
243+ enphase_envoy = ∀ α β. α -> β;
244− entur_public_transport = ∀ α β. α -> [β];
244+ entur_public_transport = ∀ α β. α -> β;
245− environment_canada = ∀ α β. α -> [β];
245+ environment_canada = ∀ α β. α -> β;
246− envirophat = ∀ α β. α -> [β];
246+ envirophat = ∀ α β. α -> β;
247− envisalink = ∀ α β. α -> [β];
247+ envisalink = ∀ α β. α -> β;
248− ephember = ∀ α β. α -> [β];
248+ ephember = ∀ α β. α -> β;
249− epson = ∀ α β. α -> [β];
249+ epson = ∀ α β. α -> β;
250− epsonworkforce = ∀ α β. α -> [β];
250+ epsonworkforce = ∀ α β. α -> β;
251 eq3btsmart = ∀ α β. (α.construct = β) => α -> [β];
251 eq3btsmart = ∀ α β. (α.construct = β) => α -> [β];
252 esphome = ∀ α β. (α.aioesphomeapi = β) => α -> [β];
252 esphome = ∀ α β. (α.aioesphomeapi = β) => α -> [β];
253− essent = ∀ α β. α -> [β];
253+ essent = ∀ α β. α -> β;
254− etherscan = ∀ α β. α -> [β];
254+ etherscan = ∀ α β. α -> β;
255− eufy = ∀ α β. α -> [β];
255+ eufy = ∀ α β. α -> β;
256− everlights = ∀ α β. α -> [β];
256+ everlights = ∀ α β. α -> β;
257− evohome = ∀ α β. α -> [β];
257+ evohome = ∀ α β. α -> β;
258− ezviz = ∀ α β. α -> [β];
258+ ezviz = ∀ α β. α -> β;
259− facebook = ∀ α β. α -> [β];
259+ facebook = ∀ α β. α -> β;
260− facebox = ∀ α β. α -> [β];
260+ facebox = ∀ α β. α -> β;
261− fail2ban = ∀ α β. α -> [β];
261+ fail2ban = ∀ α β. α -> β;
262− familyhub = ∀ α β. α -> [β];
262+ familyhub = ∀ α β. α -> β;
263− fan = ∀ α β. α -> [β];
263+ fan = ∀ α β. α -> β;
264− fastdotcom = ∀ α β. α -> [β];
264+ fastdotcom = ∀ α β. α -> β;
265− feedreader = ∀ α β. α -> [β];
265+ feedreader = ∀ α β. α -> β;
266 ffmpeg = ∀ α β. (α.ha-ffmpeg = β) => α -> [β];
266 ffmpeg = ∀ α β. (α.ha-ffmpeg = β) => α -> [β];
267 ffmpeg_motion = ∀ α β. (α.ha-ffmpeg = β) => α -> [β];
267 ffmpeg_motion = ∀ α β. (α.ha-ffmpeg = β) => α -> [β];
268 ffmpeg_noise = ∀ α β. (α.ha-ffmpeg = β) => α -> [β];
268 ffmpeg_noise = ∀ α β. (α.ha-ffmpeg = β) => α -> [β];
269− fibaro = ∀ α β. α -> [β];
269+ fibaro = ∀ α β. α -> β;
270− fido = ∀ α β. α -> [β];
270+ fido = ∀ α β. α -> β;
271− file = ∀ α β. α -> [β];
271+ file = ∀ α β. α -> β;
272− filesize = ∀ α β. α -> [β];
272+ filesize = ∀ α β. α -> β;
273 filter = ∀ α β. (α.aiohttp-cors = β, α.sqlalchemy = β) => α -> [β];
273 filter = ∀ α β. (α.aiohttp-cors = β, α.sqlalchemy = β) => α -> [β];
274 fints = ∀ α β. (α.fints = β) => α -> [β];
274 fints = ∀ α β. (α.fints = β) => α -> [β];
275− firmata = ∀ α β. α -> [β];
275+ firmata = ∀ α β. α -> β;
276 fitbit = ∀ α β. (α.aiohttp-cors = β, α.fitbit = β) => α -> [β];
276 fitbit = ∀ α β. (α.aiohttp-cors = β, α.fitbit = β) => α -> [β];
277− fixer = ∀ α β. α -> [β];
277+ fixer = ∀ α β. α -> β;
278− fleetgo = ∀ α β. α -> [β];
278+ fleetgo = ∀ α β. α -> β;
279− flexit = ∀ α β. α -> [β];
279+ flexit = ∀ α β. α -> β;
280− flic = ∀ α β. α -> [β];
280+ flic = ∀ α β. α -> β;
281− flick_electric = ∀ α β. α -> [β];
281+ flick_electric = ∀ α β. α -> β;
282− flock = ∀ α β. α -> [β];
282+ flock = ∀ α β. α -> β;
283− flume = ∀ α β. α -> [β];
283+ flume = ∀ α β. α -> β;
284− flunearyou = ∀ α β. α -> [β];
284+ flunearyou = ∀ α β. α -> β;
285− flux = ∀ α β. α -> [β];
285+ flux = ∀ α β. α -> β;
286 flux_led = ∀ α β. (α.flux-led = β) => α -> [β];
286 flux_led = ∀ α β. (α.flux-led = β) => α -> [β];
287− folder = ∀ α β. α -> [β];
287+ folder = ∀ α β. α -> β;
288 folder_watcher = ∀ α β. (α.watchdog = β) => α -> [β];
288 folder_watcher = ∀ α β. (α.watchdog = β) => α -> [β];
289− foobot = ∀ α β. α -> [β];
289+ foobot = ∀ α β. α -> β;
290− forked_daapd = ∀ α β. α -> [β];
290+ forked_daapd = ∀ α β. α -> β;
291− fortios = ∀ α β. α -> [β];
291+ fortios = ∀ α β. α -> β;
292− foscam = ∀ α β. α -> [β];
292+ foscam = ∀ α β. α -> β;
293 foursquare = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
293 foursquare = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
294− free_mobile = ∀ α β. α -> [β];
294+ free_mobile = ∀ α β. α -> β;
295 freebox =
295 freebox =
296 ∀ α β. (α.aiohttp-cors = β, α.netdisco = β, α.zeroconf = β) => α -> [β];
296 ∀ α β. (α.aiohttp-cors = β, α.netdisco = β, α.zeroconf = β) => α -> [β];
297− freedns = ∀ α β. α -> [β];
297+ freedns = ∀ α β. α -> β;
298 fritz = ∀ α β. (α.fritzconnection = β) => α -> [β];
298 fritz = ∀ α β. (α.fritzconnection = β) => α -> [β];
299 fritzbox = ∀ α β. (α.pyfritzhome = β) => α -> [β];
299 fritzbox = ∀ α β. (α.pyfritzhome = β) => α -> [β];
300 fritzbox_callmonitor = ∀ α β. (α.fritzconnection = β) => α -> [β];
300 fritzbox_callmonitor = ∀ α β. (α.fritzconnection = β) => α -> [β];
301 fritzbox_netmonitor = ∀ α β. (α.fritzconnection = β) => α -> [β];
301 fritzbox_netmonitor = ∀ α β. (α.fritzconnection = β) => α -> [β];
302− fronius = ∀ α β. α -> [β];
302+ fronius = ∀ α β. α -> β;
303 frontend = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
303 frontend = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
304− frontier_silicon = ∀ α β. α -> [β];
304+ frontier_silicon = ∀ α β. α -> β;
305− futurenow = ∀ α β. α -> [β];
305+ futurenow = ∀ α β. α -> β;
306− garadget = ∀ α β. α -> [β];
306+ garadget = ∀ α β. α -> β;
307− garmin_connect = ∀ α β. α -> [β];
307+ garmin_connect = ∀ α β. α -> β;
308− gc100 = ∀ α β. α -> [β];
308+ gc100 = ∀ α β. α -> β;
309− gdacs = ∀ α β. α -> [β];
309+ gdacs = ∀ α β. α -> β;
310− geizhals = ∀ α β. α -> [β];
310+ geizhals = ∀ α β. α -> β;
311− generic = ∀ α β. α -> [β];
311+ generic = ∀ α β. α -> β;
312− generic_thermostat = ∀ α β. α -> [β];
312+ generic_thermostat = ∀ α β. α -> β;
313− geniushub = ∀ α β. α -> [β];
313+ geniushub = ∀ α β. α -> β;
314− geo_json_events = ∀ α β. α -> [β];
314+ geo_json_events = ∀ α β. α -> β;
315− geo_location = ∀ α β. α -> [β];
315+ geo_location = ∀ α β. α -> β;
316− geo_rss_events = ∀ α β. α -> [β];
316+ geo_rss_events = ∀ α β. α -> β;
317 geofency = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
317 geofency = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
318− geonetnz_quakes = ∀ α β. α -> [β];
318+ geonetnz_quakes = ∀ α β. α -> β;
319− geonetnz_volcano = ∀ α β. α -> [β];
319+ geonetnz_volcano = ∀ α β. α -> β;
320− gios = ∀ α β. α -> [β];
320+ gios = ∀ α β. α -> β;
321 github = ∀ α β. (α.PyGithub = β) => α -> [β];
321 github = ∀ α β. (α.PyGithub = β) => α -> [β];
322 gitlab_ci = ∀ α β. (α.python-gitlab = β) => α -> [β];
322 gitlab_ci = ∀ α β. (α.python-gitlab = β) => α -> [β];
323− gitter = ∀ α β. α -> [β];
323+ gitter = ∀ α β. α -> β;
324− glances = ∀ α β. α -> [β];
324+ glances = ∀ α β. α -> β;
325− gntp = ∀ α β. α -> [β];
325+ gntp = ∀ α β. α -> β;
326− goalfeed = ∀ α β. α -> [β];
326+ goalfeed = ∀ α β. α -> β;
327− gogogate2 = ∀ α β. α -> [β];
327+ gogogate2 = ∀ α β. α -> β;
330 ( α.google_api_python_client = β,
330 ( α.google_api_python_client = β,
@@ -334,45 +334,45 @@
334 α -> [β];
334 α -> [β];
335 google_assistant = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
335 google_assistant = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
336 google_cloud = ∀ α β. (α.google_cloud_texttospeech = β) => α -> [β];
336 google_cloud = ∀ α β. (α.google_cloud_texttospeech = β) => α -> [β];
337− google_domains = ∀ α β. α -> [β];
337+ google_domains = ∀ α β. α -> β;
338− google_maps = ∀ α β. α -> [β];
338+ google_maps = ∀ α β. α -> β;
339 google_pubsub = ∀ α β. (α.google_cloud_pubsub = β) => α -> [β];
339 google_pubsub = ∀ α β. (α.google_cloud_pubsub = β) => α -> [β];
340 google_translate = ∀ α β. (α.gtts-token = β) => α -> [β];
340 google_translate = ∀ α β. (α.gtts-token = β) => α -> [β];
341− google_travel_time = ∀ α β. α -> [β];
341+ google_travel_time = ∀ α β. α -> β;
342− google_wifi = ∀ α β. α -> [β];
342+ google_wifi = ∀ α β. α -> β;
343 gpmdp = ∀ α β. (α.websocket_client = β) => α -> [β];
343 gpmdp = ∀ α β. (α.websocket_client = β) => α -> [β];
344− gpsd = ∀ α β. α -> [β];
344+ gpsd = ∀ α β. α -> β;
345 gpslogger = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
345 gpslogger = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
346− graphite = ∀ α β. α -> [β];
346+ graphite = ∀ α β. α -> β;
347− greeneye_monitor = ∀ α β. α -> [β];
347+ greeneye_monitor = ∀ α β. α -> β;
348− greenwave = ∀ α β. α -> [β];
348+ greenwave = ∀ α β. α -> β;
349− griddy = ∀ α β. α -> [β];
349+ griddy = ∀ α β. α -> β;
350− group = ∀ α β. α -> [β];
350+ group = ∀ α β. α -> β;
351− growatt_server = ∀ α β. α -> [β];
351+ growatt_server = ∀ α β. α -> β;
352− gstreamer = ∀ α β. α -> [β];
352+ gstreamer = ∀ α β. α -> β;
353− gtfs = ∀ α β. α -> [β];
353+ gtfs = ∀ α β. α -> β;
354− guardian = ∀ α β. α -> [β];
354+ guardian = ∀ α β. α -> β;
355− habitica = ∀ α β. α -> [β];
355+ habitica = ∀ α β. α -> β;
356− hangouts = ∀ α β. α -> [β];
356+ hangouts = ∀ α β. α -> β;
357− harman_kardon_avr = ∀ α β. α -> [β];
357+ harman_kardon_avr = ∀ α β. α -> β;
358 harmony = ∀ α β. (α.aioharmony = β) => α -> [β];
358 harmony = ∀ α β. (α.aioharmony = β) => α -> [β];
359 hassio = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
359 hassio = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
360− haveibeenpwned = ∀ α β. α -> [β];
360+ haveibeenpwned = ∀ α β. α -> β;
361− hddtemp = ∀ α β. α -> [β];
361+ hddtemp = ∀ α β. α -> β;
362− hdmi_cec = ∀ α β. α -> [β];
362+ hdmi_cec = ∀ α β. α -> β;
363− heatmiser = ∀ α β. α -> [β];
363+ heatmiser = ∀ α β. α -> β;
364− heos = ∀ α β. α -> [β];
364+ heos = ∀ α β. α -> β;
365− here_travel_time = ∀ α β. α -> [β];
365+ here_travel_time = ∀ α β. α -> β;
366− hikvision = ∀ α β. α -> [β];
366+ hikvision = ∀ α β. α -> β;
367− hikvisioncam = ∀ α β. α -> [β];
367+ hikvisioncam = ∀ α β. α -> β;
368− hisense_aehw4a1 = ∀ α β. α -> [β];
368+ hisense_aehw4a1 = ∀ α β. α -> β;
369 history = ∀ α β. (α.aiohttp-cors = β, α.sqlalchemy = β) => α -> [β];
369 history = ∀ α β. (α.aiohttp-cors = β, α.sqlalchemy = β) => α -> [β];
370 history_stats = ∀ α β. (α.aiohttp-cors = β, α.sqlalchemy = β) => α -> [β];
370 history_stats = ∀ α β. (α.aiohttp-cors = β, α.sqlalchemy = β) => α -> [β];
371− hitron_coda = ∀ α β. α -> [β];
371+ hitron_coda = ∀ α β. α -> β;
372− hive = ∀ α β. α -> [β];
372+ hive = ∀ α β. α -> β;
373− hlk_sw16 = ∀ α β. α -> [β];
373+ hlk_sw16 = ∀ α β. α -> β;
374 home_connect = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
374 home_connect = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
375− homeassistant = ∀ α β. α -> [β];
375+ homeassistant = ∀ α β. α -> β;
376 homekit =
376 homekit =
378 ( α.HAP-python = β,
378 ( α.HAP-python = β,
@@ -385,152 +385,152 @@
385 homekit_controller =
385 homekit_controller =
386 ∀ α β. (α.aiohttp-cors = β, α.zeroconf = β) => α -> [β];
386 ∀ α β. (α.aiohttp-cors = β, α.zeroconf = β) => α -> [β];
387 homematic = ∀ α β. (α.pyhomematic = β) => α -> [β];
387 homematic = ∀ α β. (α.pyhomematic = β) => α -> [β];
388− homematicip_cloud = ∀ α β. α -> [β];
388+ homematicip_cloud = ∀ α β. α -> β;
389− homeworks = ∀ α β. α -> [β];
389+ homeworks = ∀ α β. α -> β;
390− honeywell = ∀ α β. α -> [β];
390+ honeywell = ∀ α β. α -> β;
391− horizon = ∀ α β. α -> [β];
391+ horizon = ∀ α β. α -> β;
392− hp_ilo = ∀ α β. α -> [β];
392+ hp_ilo = ∀ α β. α -> β;
393 html5 = ∀ α β. (α.aiohttp-cors = β, α.pywebpush = β) => α -> [β];
393 html5 = ∀ α β. (α.aiohttp-cors = β, α.pywebpush = β) => α -> [β];
394 http = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
394 http = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
395− htu21d = ∀ α β. α -> [β];
395+ htu21d = ∀ α β. α -> β;
396 huawei_lte = ∀ α β. (α.getmac = β, α.stringcase = β) => α -> [β];
396 huawei_lte = ∀ α β. (α.getmac = β, α.stringcase = β) => α -> [β];
397− huawei_router = ∀ α β. α -> [β];
397+ huawei_router = ∀ α β. α -> β;
398 hue = ∀ α β. (α.aiohue = β) => α -> [β];
398 hue = ∀ α β. (α.aiohue = β) => α -> [β];
399− humidifier = ∀ α β. α -> [β];
399+ humidifier = ∀ α β. α -> β;
400− hunterdouglas_powerview = ∀ α β. α -> [β];
400+ hunterdouglas_powerview = ∀ α β. α -> β;
401− hvv_departures = ∀ α β. α -> [β];
401+ hvv_departures = ∀ α β. α -> β;
402− hydrawise = ∀ α β. α -> [β];
402+ hydrawise = ∀ α β. α -> β;
403− hyperion = ∀ α β. α -> [β];
403+ hyperion = ∀ α β. α -> β;
404− ialarm = ∀ α β. α -> [β];
404+ ialarm = ∀ α β. α -> β;
405− iammeter = ∀ α β. α -> [β];
405+ iammeter = ∀ α β. α -> β;
406− iaqualink = ∀ α β. α -> [β];
406+ iaqualink = ∀ α β. α -> β;
407 icloud = ∀ α β. (α.pyicloud = β) => α -> [β];
407 icloud = ∀ α β. (α.pyicloud = β) => α -> [β];
408− idteck_prox = ∀ α β. α -> [β];
408+ idteck_prox = ∀ α β. α -> β;
409 ifttt = ∀ α β. (α.aiohttp-cors = β, α.pyfttt = β) => α -> [β];
409 ifttt = ∀ α β. (α.aiohttp-cors = β, α.pyfttt = β) => α -> [β];
410− iglo = ∀ α β. α -> [β];
410+ iglo = ∀ α β. α -> β;
411− ign_sismologia = ∀ α β. α -> [β];
411+ ign_sismologia = ∀ α β. α -> β;
412 ihc = ∀ α β. (α.defusedxml = β) => α -> [β];
412 ihc = ∀ α β. (α.defusedxml = β) => α -> [β];
413 image_processing = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
413 image_processing = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
414− imap = ∀ α β. α -> [β];
414+ imap = ∀ α β. α -> β;
415− imap_email_content = ∀ α β. α -> [β];
415+ imap_email_content = ∀ α β. α -> β;
416− incomfort = ∀ α β. α -> [β];
416+ incomfort = ∀ α β. α -> β;
417 influxdb = ∀ α β. (α.influxdb = β, α.influxdb-client = β) => α -> [β];
417 influxdb = ∀ α β. (α.influxdb = β, α.influxdb-client = β) => α -> [β];
418− input_boolean = ∀ α β. α -> [β];
418+ input_boolean = ∀ α β. α -> β;
419− input_datetime = ∀ α β. α -> [β];
419+ input_datetime = ∀ α β. α -> β;
420− input_number = ∀ α β. α -> [β];
420+ input_number = ∀ α β. α -> β;
421− input_select = ∀ α β. α -> [β];
421+ input_select = ∀ α β. α -> β;
422− input_text = ∀ α β. α -> [β];
422+ input_text = ∀ α β. α -> β;
423− insteon = ∀ α β. α -> [β];
423+ insteon = ∀ α β. α -> β;
424− integration = ∀ α β. α -> [β];
424+ integration = ∀ α β. α -> β;
425 intent = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
425 intent = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
426− intent_script = ∀ α β. α -> [β];
426+ intent_script = ∀ α β. α -> β;
427− intesishome = ∀ α β. α -> [β];
427+ intesishome = ∀ α β. α -> β;
428 ios = ∀ α β. (α.aiohttp-cors = β, α.zeroconf = β) => α -> [β];
428 ios = ∀ α β. (α.aiohttp-cors = β, α.zeroconf = β) => α -> [β];
429− iota = ∀ α β. α -> [β];
429+ iota = ∀ α β. α -> β;
430− iperf3 = ∀ α β. α -> [β];
430+ iperf3 = ∀ α β. α -> β;
431− ipma = ∀ α β. α -> [β];
431+ ipma = ∀ α β. α -> β;
432 ipp = ∀ α β. (α.pyipp = β) => α -> [β];
432 ipp = ∀ α β. (α.pyipp = β) => α -> [β];
433 iqvia = ∀ α β. (α.numpy = β) => α -> [β];
433 iqvia = ∀ α β. (α.numpy = β) => α -> [β];
434− irish_rail_transport = ∀ α β. α -> [β];
434+ irish_rail_transport = ∀ α β. α -> β;
435− islamic_prayer_times = ∀ α β. α -> [β];
435+ islamic_prayer_times = ∀ α β. α -> β;
436− iss = ∀ α β. α -> [β];
436+ iss = ∀ α β. α -> β;
437− isy994 = ∀ α β. α -> [β];
437+ isy994 = ∀ α β. α -> β;
438− itach = ∀ α β. α -> [β];
438+ itach = ∀ α β. α -> β;
439− itunes = ∀ α β. α -> [β];
439+ itunes = ∀ α β. α -> β;
440− izone = ∀ α β. α -> [β];
440+ izone = ∀ α β. α -> β;
441− jewish_calendar = ∀ α β. α -> [β];
441+ jewish_calendar = ∀ α β. α -> β;
442− joaoapps_join = ∀ α β. α -> [β];
442+ joaoapps_join = ∀ α β. α -> β;
443− juicenet = ∀ α β. α -> [β];
443+ juicenet = ∀ α β. α -> β;
444− kaiterra = ∀ α β. α -> [β];
444+ kaiterra = ∀ α β. α -> β;
445− kankun = ∀ α β. α -> [β];
445+ kankun = ∀ α β. α -> β;
446− keba = ∀ α β. α -> [β];
446+ keba = ∀ α β. α -> β;
447− keenetic_ndms2 = ∀ α β. α -> [β];
447+ keenetic_ndms2 = ∀ α β. α -> β;
448 kef = ∀ α β. (α.getmac = β) => α -> [β];
448 kef = ∀ α β. (α.getmac = β) => α -> [β];
449− keyboard = ∀ α β. α -> [β];
449+ keyboard = ∀ α β. α -> β;
450 keyboard_remote = ∀ α β. (α.evdev = β) => α -> [β];
450 keyboard_remote = ∀ α β. (α.evdev = β) => α -> [β];
451− kira = ∀ α β. α -> [β];
451+ kira = ∀ α β. α -> β;
452− kiwi = ∀ α β. α -> [β];
452+ kiwi = ∀ α β. α -> β;
453− knx = ∀ α β. α -> [β];
453+ knx = ∀ α β. α -> β;
454 kodi = ∀ α β. (α.jsonrpc-async = β, α.jsonrpc-websocket = β) => α -> [β];
454 kodi = ∀ α β. (α.jsonrpc-async = β, α.jsonrpc-websocket = β) => α -> [β];
455 konnected = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
455 konnected = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
456− kwb = ∀ α β. α -> [β];
456+ kwb = ∀ α β. α -> β;
457− lacrosse = ∀ α β. α -> [β];
457+ lacrosse = ∀ α β. α -> β;
458− lametric = ∀ α β. α -> [β];
458+ lametric = ∀ α β. α -> β;
459− lannouncer = ∀ α β. α -> [β];
459+ lannouncer = ∀ α β. α -> β;
460 lastfm = ∀ α β. (α.pylast = β) => α -> [β];
460 lastfm = ∀ α β. (α.pylast = β) => α -> [β];
461− launch_library = ∀ α β. α -> [β];
461+ launch_library = ∀ α β. α -> β;
462− lcn = ∀ α β. α -> [β];
462+ lcn = ∀ α β. α -> β;
463− lg_netcast = ∀ α β. α -> [β];
463+ lg_netcast = ∀ α β. α -> β;
464− lg_soundbar = ∀ α β. α -> [β];
464+ lg_soundbar = ∀ α β. α -> β;
465− life360 = ∀ α β. α -> [β];
465+ life360 = ∀ α β. α -> β;
466 lifx = ∀ α β. (α.aiolifx = β, α.aiolifx-effects = β) => α -> [β];
466 lifx = ∀ α β. (α.aiolifx = β, α.aiolifx-effects = β) => α -> [β];
467− lifx_cloud = ∀ α β. α -> [β];
467+ lifx_cloud = ∀ α β. α -> β;
468− lifx_legacy = ∀ α β. α -> [β];
468+ lifx_legacy = ∀ α β. α -> β;
469− light = ∀ α β. α -> [β];
469+ light = ∀ α β. α -> β;
470− lightwave = ∀ α β. α -> [β];
470+ lightwave = ∀ α β. α -> β;
471 limitlessled = ∀ α β. (α.limitlessled = β) => α -> [β];
471 limitlessled = ∀ α β. (α.limitlessled = β) => α -> [β];
472− linksys_smart = ∀ α β. α -> [β];
472+ linksys_smart = ∀ α β. α -> β;
473 linode = ∀ α β. (α.linode-api = β) => α -> [β];
473 linode = ∀ α β. (α.linode-api = β) => α -> [β];
474 linux_battery = ∀ α β. (α.batinfo = β) => α -> [β];
474 linux_battery = ∀ α β. (α.batinfo = β) => α -> [β];
475− lirc = ∀ α β. α -> [β];
475+ lirc = ∀ α β. α -> β;
476− litejet = ∀ α β. α -> [β];
476+ litejet = ∀ α β. α -> β;
477− llamalab_automate = ∀ α β. α -> [β];
477+ llamalab_automate = ∀ α β. α -> β;
478− local_file = ∀ α β. α -> [β];
478+ local_file = ∀ α β. α -> β;
479− local_ip = ∀ α β. α -> [β];
479+ local_ip = ∀ α β. α -> β;
480 locative = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
480 locative = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
481− lock = ∀ α β. α -> [β];
481+ lock = ∀ α β. α -> β;
482 logbook = ∀ α β. (α.aiohttp-cors = β, α.sqlalchemy = β) => α -> [β];
482 logbook = ∀ α β. (α.aiohttp-cors = β, α.sqlalchemy = β) => α -> [β];
483− logentries = ∀ α β. α -> [β];
483+ logentries = ∀ α β. α -> β;
484− logger = ∀ α β. α -> [β];
484+ logger = ∀ α β. α -> β;
485 logi_circle = ∀ α β. (α.aiohttp-cors = β, α.ha-ffmpeg = β) => α -> [β];
485 logi_circle = ∀ α β. (α.aiohttp-cors = β, α.ha-ffmpeg = β) => α -> [β];
486− london_air = ∀ α β. α -> [β];
486+ london_air = ∀ α β. α -> β;
487− london_underground = ∀ α β. α -> [β];
487+ london_underground = ∀ α β. α -> β;
488− loopenergy = ∀ α β. α -> [β];
488+ loopenergy = ∀ α β. α -> β;
489− lovelace = ∀ α β. α -> [β];
489+ lovelace = ∀ α β. α -> β;
490 luci = ∀ α β. (α.openwrt-luci-rpc = β) => α -> [β];
490 luci = ∀ α β. (α.openwrt-luci-rpc = β) => α -> [β];
491 luftdaten = ∀ α β. (α.luftdaten = β) => α -> [β];
491 luftdaten = ∀ α β. (α.luftdaten = β) => α -> [β];
492− lupusec = ∀ α β. α -> [β];
492+ lupusec = ∀ α β. α -> β;
493− lutron = ∀ α β. α -> [β];
493+ lutron = ∀ α β. α -> β;
494− lutron_caseta = ∀ α β. α -> [β];
494+ lutron_caseta = ∀ α β. α -> β;
495− lw12wifi = ∀ α β. α -> [β];
495+ lw12wifi = ∀ α β. α -> β;
496− lyft = ∀ α β. α -> [β];
496+ lyft = ∀ α β. α -> β;
497− magicseaweed = ∀ α β. α -> [β];
497+ magicseaweed = ∀ α β. α -> β;
498 mailbox = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
498 mailbox = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
499 mailgun = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
499 mailgun = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
500− manual = ∀ α β. α -> [β];
500+ manual = ∀ α β. α -> β;
501 manual_mqtt = ∀ α β. (α.aiohttp-cors = β, α.paho-mqtt = β) => α -> [β];
501 manual_mqtt = ∀ α β. (α.aiohttp-cors = β, α.paho-mqtt = β) => α -> [β];
502 map = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
502 map = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
503− marytts = ∀ α β. α -> [β];
503+ marytts = ∀ α β. α -> β;
504− mastodon = ∀ α β. α -> [β];
504+ mastodon = ∀ α β. α -> β;
505 matrix = ∀ α β. (α.matrix-client = β) => α -> [β];
505 matrix = ∀ α β. (α.matrix-client = β) => α -> [β];
506− maxcube = ∀ α β. α -> [β];
506+ maxcube = ∀ α β. α -> β;
507− mcp23017 = ∀ α β. α -> [β];
507+ mcp23017 = ∀ α β. α -> β;
508 media_extractor =
508 media_extractor =
509 ∀ α β. (α.aiohttp-cors = β, α.youtube-dl-light = β) => α -> [β];
509 ∀ α β. (α.aiohttp-cors = β, α.youtube-dl-light = β) => α -> [β];
510 media_player = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
510 media_player = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
511− mediaroom = ∀ α β. α -> [β];
511+ mediaroom = ∀ α β. α -> β;
512− melcloud = ∀ α β. α -> [β];
512+ melcloud = ∀ α β. α -> β;
513− melissa = ∀ α β. α -> [β];
513+ melissa = ∀ α β. α -> β;
514 meraki = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
514 meraki = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
515− message_bird = ∀ α β. α -> [β];
515+ message_bird = ∀ α β. α -> β;
516 met = ∀ α β. (α.pymetno = β) => α -> [β];
516 met = ∀ α β. (α.pymetno = β) => α -> [β];
517− meteo_france = ∀ α β. α -> [β];
517+ meteo_france = ∀ α β. α -> β;
518− meteoalarm = ∀ α β. α -> [β];
518+ meteoalarm = ∀ α β. α -> β;
519− metoffice = ∀ α β. α -> [β];
519+ metoffice = ∀ α β. α -> β;
520− mfi = ∀ α β. α -> [β];
520+ mfi = ∀ α β. α -> β;
521− mhz19 = ∀ α β. α -> [β];
521+ mhz19 = ∀ α β. α -> β;
522− microsoft = ∀ α β. α -> [β];
522+ microsoft = ∀ α β. α -> β;
523 microsoft_face = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
523 microsoft_face = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
524 microsoft_face_detect = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
524 microsoft_face_detect = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
525 microsoft_face_identify = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
525 microsoft_face_identify = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
526 miflora = ∀ α β. (α.bluepy = β) => α -> [β];
526 miflora = ∀ α β. (α.bluepy = β) => α -> [β];
527− mikrotik = ∀ α β. α -> [β];
527+ mikrotik = ∀ α β. α -> β;
528− mill = ∀ α β. α -> [β];
528+ mill = ∀ α β. α -> β;
529− min_max = ∀ α β. α -> [β];
529+ min_max = ∀ α β. α -> β;
530 minecraft_server = ∀ α β. (α.aiodns = β, α.getmac = β) => α -> [β];
530 minecraft_server = ∀ α β. (α.aiodns = β, α.getmac = β) => α -> [β];
531 minio = ∀ α β. (α.minio = β) => α -> [β];
531 minio = ∀ α β. (α.minio = β) => α -> [β];
532− mitemp_bt = ∀ α β. α -> [β];
532+ mitemp_bt = ∀ α β. α -> β;
533− mjpeg = ∀ α β. α -> [β];
533+ mjpeg = ∀ α β. α -> β;
534 mobile_app =
534 mobile_app =
536 ( α.aiohttp-cors = β,
536 ( α.aiohttp-cors = β,
@@ -539,13 +539,13 @@
539 α.pynacl = β
539 α.pynacl = β
541 α -> [β];
541 α -> [β];
542− mochad = ∀ α β. α -> [β];
542+ mochad = ∀ α β. α -> β;
543− modbus = ∀ α β. α -> [β];
543+ modbus = ∀ α β. α -> β;
544− modem_callerid = ∀ α β. α -> [β];
544+ modem_callerid = ∀ α β. α -> β;
545− mold_indicator = ∀ α β. α -> [β];
545+ mold_indicator = ∀ α β. α -> β;
546− monoprice = ∀ α β. α -> [β];
546+ monoprice = ∀ α β. α -> β;
547− moon = ∀ α β. α -> [β];
547+ moon = ∀ α β. α -> β;
548− mpchc = ∀ α β. α -> [β];
548+ mpchc = ∀ α β. α -> β;
549 mpd = ∀ α β. (α.mpd2 = β) => α -> [β];
549 mpd = ∀ α β. (α.mpd2 = β) => α -> [β];
550 mqtt = ∀ α β. (α.aiohttp-cors = β, α.paho-mqtt = β) => α -> [β];
550 mqtt = ∀ α β. (α.aiohttp-cors = β, α.paho-mqtt = β) => α -> [β];
551 mqtt_eventstream =
551 mqtt_eventstream =
@@ -554,89 +554,89 @@
554 mqtt_room = ∀ α β. (α.aiohttp-cors = β, α.paho-mqtt = β) => α -> [β];
554 mqtt_room = ∀ α β. (α.aiohttp-cors = β, α.paho-mqtt = β) => α -> [β];
555 mqtt_statestream =
555 mqtt_statestream =
556 ∀ α β. (α.aiohttp-cors = β, α.paho-mqtt = β) => α -> [β];
556 ∀ α β. (α.aiohttp-cors = β, α.paho-mqtt = β) => α -> [β];
557− msteams = ∀ α β. α -> [β];
557+ msteams = ∀ α β. α -> β;
558 mvglive = ∀ α β. (α.PyMVGLive = β) => α -> [β];
558 mvglive = ∀ α β. (α.PyMVGLive = β) => α -> [β];
559− mychevy = ∀ α β. α -> [β];
559+ mychevy = ∀ α β. α -> β;
560− mycroft = ∀ α β. α -> [β];
560+ mycroft = ∀ α β. α -> β;
561− myq = ∀ α β. α -> [β];
561+ myq = ∀ α β. α -> β;
562 mysensors = ∀ α β. (α.aiohttp-cors = β, α.paho-mqtt = β) => α -> [β];
562 mysensors = ∀ α β. (α.aiohttp-cors = β, α.paho-mqtt = β) => α -> [β];
563 mystrom = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
563 mystrom = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
564− mythicbeastsdns = ∀ α β. α -> [β];
564+ mythicbeastsdns = ∀ α β. α -> β;
565− n26 = ∀ α β. α -> [β];
565+ n26 = ∀ α β. α -> β;
566− nad = ∀ α β. α -> [β];
566+ nad = ∀ α β. α -> β;
567 namecheapdns = ∀ α β. (α.defusedxml = β) => α -> [β];
567 namecheapdns = ∀ α β. (α.defusedxml = β) => α -> [β];
568 nanoleaf = ∀ α β. (α.pynanoleaf = β) => α -> [β];
568 nanoleaf = ∀ α β. (α.pynanoleaf = β) => α -> [β];
569 neato = ∀ α β. (α.pybotvac = β) => α -> [β];
569 neato = ∀ α β. (α.pybotvac = β) => α -> [β];
570− nederlandse_spoorwegen = ∀ α β. α -> [β];
570+ nederlandse_spoorwegen = ∀ α β. α -> β;
571− nello = ∀ α β. α -> [β];
571+ nello = ∀ α β. α -> β;
572− ness_alarm = ∀ α β. α -> [β];
572+ ness_alarm = ∀ α β. α -> β;
573− nest = ∀ α β. α -> [β];
573+ nest = ∀ α β. α -> β;
574 netatmo =
574 netatmo =
576 (α.aiohttp-cors = β, α.hass-nabucasa = β, α.pyatmo = β) => α -> [β];
576 (α.aiohttp-cors = β, α.hass-nabucasa = β, α.pyatmo = β) => α -> [β];
577− netdata = ∀ α β. α -> [β];
577+ netdata = ∀ α β. α -> β;
578− netgear = ∀ α β. α -> [β];
578+ netgear = ∀ α β. α -> β;
579− netgear_lte = ∀ α β. α -> [β];
579+ netgear_lte = ∀ α β. α -> β;
580 netio = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
580 netio = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
581− neurio_energy = ∀ α β. α -> [β];
581+ neurio_energy = ∀ α β. α -> β;
582− nexia = ∀ α β. α -> [β];
582+ nexia = ∀ α β. α -> β;
583− nextbus = ∀ α β. α -> [β];
583+ nextbus = ∀ α β. α -> β;
584− nextcloud = ∀ α β. α -> [β];
584+ nextcloud = ∀ α β. α -> β;
585− nfandroidtv = ∀ α β. α -> [β];
585+ nfandroidtv = ∀ α β. α -> β;
586− niko_home_control = ∀ α β. α -> [β];
586+ niko_home_control = ∀ α β. α -> β;
587− nilu = ∀ α β. α -> [β];
587+ nilu = ∀ α β. α -> β;
588− nissan_leaf = ∀ α β. α -> [β];
588+ nissan_leaf = ∀ α β. α -> β;
589 nmap_tracker = ∀ α β. (α.getmac = β) => α -> [β];
589 nmap_tracker = ∀ α β. (α.getmac = β) => α -> [β];
590− nmbs = ∀ α β. α -> [β];
590+ nmbs = ∀ α β. α -> β;
591− no_ip = ∀ α β. α -> [β];
591+ no_ip = ∀ α β. α -> β;
592− noaa_tides = ∀ α β. α -> [β];
592+ noaa_tides = ∀ α β. α -> β;
593 norway_air = ∀ α β. (α.pymetno = β) => α -> [β];
593 norway_air = ∀ α β. (α.pymetno = β) => α -> [β];
594− notify = ∀ α β. α -> [β];
594+ notify = ∀ α β. α -> β;
595− notify_events = ∀ α β. α -> [β];
595+ notify_events = ∀ α β. α -> β;
596− notion = ∀ α β. α -> [β];
596+ notion = ∀ α β. α -> β;
597− nsw_fuel_station = ∀ α β. α -> [β];
597+ nsw_fuel_station = ∀ α β. α -> β;
598− nsw_rural_fire_service_feed = ∀ α β. α -> [β];
598+ nsw_rural_fire_service_feed = ∀ α β. α -> β;
599− nuheat = ∀ α β. α -> [β];
599+ nuheat = ∀ α β. α -> β;
600− nuimo_controller = ∀ α β. α -> [β];
600+ nuimo_controller = ∀ α β. α -> β;
601− nuki = ∀ α β. α -> [β];
601+ nuki = ∀ α β. α -> β;
602− numato = ∀ α β. α -> [β];
602+ numato = ∀ α β. α -> β;
603− nut = ∀ α β. α -> [β];
603+ nut = ∀ α β. α -> β;
604− nws = ∀ α β. α -> [β];
604+ nws = ∀ α β. α -> β;
605− nx584 = ∀ α β. α -> [β];
605+ nx584 = ∀ α β. α -> β;
606− nzbget = ∀ α β. α -> [β];
606+ nzbget = ∀ α β. α -> β;
607− oasa_telematics = ∀ α β. α -> [β];
607+ oasa_telematics = ∀ α β. α -> β;
608− obihai = ∀ α β. α -> [β];
608+ obihai = ∀ α β. α -> β;
609 octoprint =
609 octoprint =
610 ∀ α β. (α.aiohttp-cors = β, α.netdisco = β, α.zeroconf = β) => α -> [β];
610 ∀ α β. (α.aiohttp-cors = β, α.netdisco = β, α.zeroconf = β) => α -> [β];
611− oem = ∀ α β. α -> [β];
611+ oem = ∀ α β. α -> β;
612 ohmconnect = ∀ α β. (α.defusedxml = β) => α -> [β];
612 ohmconnect = ∀ α β. (α.defusedxml = β) => α -> [β];
613− ombi = ∀ α β. α -> [β];
613+ ombi = ∀ α β. α -> β;
614 onboarding = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
614 onboarding = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
615− onewire = ∀ α β. α -> [β];
615+ onewire = ∀ α β. α -> β;
616 onkyo = ∀ α β. (α.onkyo-eiscp = β) => α -> [β];
616 onkyo = ∀ α β. (α.onkyo-eiscp = β) => α -> [β];
617 onvif = ∀ α β. (α.ha-ffmpeg = β) => α -> [β];
617 onvif = ∀ α β. (α.ha-ffmpeg = β) => α -> [β];
618− openalpr_cloud = ∀ α β. α -> [β];
618+ openalpr_cloud = ∀ α β. α -> β;
619− openalpr_local = ∀ α β. α -> [β];
619+ openalpr_local = ∀ α β. α -> β;
620 opencv = ∀ α β. (α.numpy = β) => α -> [β];
620 opencv = ∀ α β. (α.numpy = β) => α -> [β];
621− openerz = ∀ α β. α -> [β];
621+ openerz = ∀ α β. α -> β;
622− openevse = ∀ α β. α -> [β];
622+ openevse = ∀ α β. α -> β;
623− openexchangerates = ∀ α β. α -> [β];
623+ openexchangerates = ∀ α β. α -> β;
624− opengarage = ∀ α β. α -> [β];
624+ opengarage = ∀ α β. α -> β;
625− openhardwaremonitor = ∀ α β. α -> [β];
625+ openhardwaremonitor = ∀ α β. α -> β;
626− openhome = ∀ α β. α -> [β];
626+ openhome = ∀ α β. α -> β;
627− opensensemap = ∀ α β. α -> [β];
627+ opensensemap = ∀ α β. α -> β;
628− opensky = ∀ α β. α -> [β];
628+ opensky = ∀ α β. α -> β;
629− opentherm_gw = ∀ α β. α -> [β];
629+ opentherm_gw = ∀ α β. α -> β;
630− openuv = ∀ α β. α -> [β];
630+ openuv = ∀ α β. α -> β;
631 openweathermap = ∀ α β. (α.pyowm = β) => α -> [β];
631 openweathermap = ∀ α β. (α.pyowm = β) => α -> [β];
632− opnsense = ∀ α β. α -> [β];
632+ opnsense = ∀ α β. α -> β;
633− opple = ∀ α β. α -> [β];
633+ opple = ∀ α β. α -> β;
634− orangepi_gpio = ∀ α β. α -> [β];
634+ orangepi_gpio = ∀ α β. α -> β;
635− oru = ∀ α β. α -> [β];
635+ oru = ∀ α β. α -> β;
636− orvibo = ∀ α β. α -> [β];
636+ orvibo = ∀ α β. α -> β;
637− osramlightify = ∀ α β. α -> [β];
637+ osramlightify = ∀ α β. α -> β;
638 otp = ∀ α β. (α.pyotp = β) => α -> [β];
638 otp = ∀ α β. (α.pyotp = β) => α -> [β];
639− ovo_energy = ∀ α β. α -> [β];
639+ ovo_energy = ∀ α β. α -> β;
640 owntracks =
640 owntracks =
642 ( α.aiohttp-cors = β,
642 ( α.aiohttp-cors = β,
@@ -646,24 +646,24 @@
647 α -> [β];
647 α -> [β];
648 ozw = ∀ α β. (α.aiohttp-cors = β, α.paho-mqtt = β) => α -> [β];
648 ozw = ∀ α β. (α.aiohttp-cors = β, α.paho-mqtt = β) => α -> [β];
649− panasonic_bluray = ∀ α β. α -> [β];
649+ panasonic_bluray = ∀ α β. α -> β;
650− panasonic_viera = ∀ α β. α -> [β];
650+ panasonic_viera = ∀ α β. α -> β;
651 pandora = ∀ α β. (α.pexpect = β) => α -> [β];
651 pandora = ∀ α β. (α.pexpect = β) => α -> [β];
652 panel_custom = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
652 panel_custom = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
653 panel_iframe = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
653 panel_iframe = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
654− pcal9535a = ∀ α β. α -> [β];
654+ pcal9535a = ∀ α β. α -> β;
655− pencom = ∀ α β. α -> [β];
655+ pencom = ∀ α β. α -> β;
656− persistent_notification = ∀ α β. α -> [β];
656+ persistent_notification = ∀ α β. α -> β;
657− person = ∀ α β. α -> [β];
657+ person = ∀ α β. α -> β;
658− philips_js = ∀ α β. α -> [β];
658+ philips_js = ∀ α β. α -> β;
659− pi4ioe5v9xxxx = ∀ α β. α -> [β];
659+ pi4ioe5v9xxxx = ∀ α β. α -> β;
660− pi_hole = ∀ α β. α -> [β];
660+ pi_hole = ∀ α β. α -> β;
661− picotts = ∀ α β. α -> [β];
661+ picotts = ∀ α β. α -> β;
662− piglow = ∀ α β. α -> [β];
662+ piglow = ∀ α β. α -> β;
663− pilight = ∀ α β. α -> [β];
663+ pilight = ∀ α β. α -> β;
664− ping = ∀ α β. α -> [β];
664+ ping = ∀ α β. α -> β;
665− pioneer = ∀ α β. α -> [β];
665+ pioneer = ∀ α β. α -> β;
666− pjlink = ∀ α β. α -> [β];
666+ pjlink = ∀ α β. α -> β;
667 plaato = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
667 plaato = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
668 plant = ∀ α β. (α.sqlalchemy = β) => α -> [β];
668 plant = ∀ α β. (α.sqlalchemy = β) => α -> [β];
@@ -675,158 +675,158 @@
675 α.pysonos = β
675 α.pysonos = β
677 α -> [β];
677 α -> [β];
678− plugwise = ∀ α β. α -> [β];
678+ plugwise = ∀ α β. α -> β;
679− plum_lightpad = ∀ α β. α -> [β];
679+ plum_lightpad = ∀ α β. α -> β;
680− pocketcasts = ∀ α β. α -> [β];
680+ pocketcasts = ∀ α β. α -> β;
681 point = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
681 point = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
682− poolsense = ∀ α β. α -> [β];
682+ poolsense = ∀ α β. α -> β;
683− powerwall = ∀ α β. α -> [β];
683+ powerwall = ∀ α β. α -> β;
684− prezzibenzina = ∀ α β. α -> [β];
684+ prezzibenzina = ∀ α β. α -> β;
685− proliphix = ∀ α β. α -> [β];
685+ proliphix = ∀ α β. α -> β;
686 prometheus =
686 prometheus =
687 ∀ α β. (α.aiohttp-cors = β, α.prometheus_client = β) => α -> [β];
687 ∀ α β. (α.aiohttp-cors = β, α.prometheus_client = β) => α -> [β];
688− prowl = ∀ α β. α -> [β];
688+ prowl = ∀ α β. α -> β;
689− proximity = ∀ α β. α -> [β];
689+ proximity = ∀ α β. α -> β;
690− proxmoxve = ∀ α β. α -> [β];
690+ proxmoxve = ∀ α β. α -> β;
691 proxy = ∀ α β. (α.pillow = β) => α -> [β];
691 proxy = ∀ α β. (α.pillow = β) => α -> [β];
692− ps4 = ∀ α β. α -> [β];
692+ ps4 = ∀ α β. α -> β;
693− ptvsd = ∀ α β. α -> [β];
693+ ptvsd = ∀ α β. α -> β;
694 pulseaudio_loopback = ∀ α β. (α.pulsectl = β) => α -> [β];
694 pulseaudio_loopback = ∀ α β. (α.pulsectl = β) => α -> [β];
695 push = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
695 push = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
696 pushbullet = ∀ α β. (α.pushbullet = β) => α -> [β];
696 pushbullet = ∀ α β. (α.pushbullet = β) => α -> [β];
697 pushover = ∀ α β. (α.pushover-complete = β) => α -> [β];
697 pushover = ∀ α β. (α.pushover-complete = β) => α -> [β];
698− pushsafer = ∀ α β. α -> [β];
698+ pushsafer = ∀ α β. α -> β;
699 pvoutput = ∀ α β. (α.jsonpath = β, α.xmltodict = β) => α -> [β];
699 pvoutput = ∀ α β. (α.jsonpath = β, α.xmltodict = β) => α -> [β];
700− pvpc_hourly_pricing = ∀ α β. α -> [β];
700+ pvpc_hourly_pricing = ∀ α β. α -> β;
701− pyload = ∀ α β. α -> [β];
701+ pyload = ∀ α β. α -> β;
702 python_script = ∀ α β. (α.restrictedpython = β) => α -> [β];
702 python_script = ∀ α β. (α.restrictedpython = β) => α -> [β];
703− qbittorrent = ∀ α β. α -> [β];
703+ qbittorrent = ∀ α β. α -> β;
704− qld_bushfire = ∀ α β. α -> [β];
704+ qld_bushfire = ∀ α β. α -> β;
705− qnap = ∀ α β. α -> [β];
705+ qnap = ∀ α β. α -> β;
706 qrcode = ∀ α β. (α.pillow = β) => α -> [β];
706 qrcode = ∀ α β. (α.pillow = β) => α -> [β];
707− quantum_gateway = ∀ α β. α -> [β];
707+ quantum_gateway = ∀ α β. α -> β;
708− qvr_pro = ∀ α β. α -> [β];
708+ qvr_pro = ∀ α β. α -> β;
709− qwikswitch = ∀ α β. α -> [β];
709+ qwikswitch = ∀ α β. α -> β;
710 rachio = ∀ α β. (α.aiohttp-cors = β, α.hass-nabucasa = β) => α -> [β];
710 rachio = ∀ α β. (α.aiohttp-cors = β, α.hass-nabucasa = β) => α -> [β];
711− radarr = ∀ α β. α -> [β];
711+ radarr = ∀ α β. α -> β;
712− radiotherm = ∀ α β. α -> [β];
712+ radiotherm = ∀ α β. α -> β;
713− rainbird = ∀ α β. α -> [β];
713+ rainbird = ∀ α β. α -> β;
714− raincloud = ∀ α β. α -> [β];
714+ raincloud = ∀ α β. α -> β;
715− rainforest_eagle = ∀ α β. α -> [β];
715+ rainforest_eagle = ∀ α β. α -> β;
716− rainmachine = ∀ α β. α -> [β];
716+ rainmachine = ∀ α β. α -> β;
717− random = ∀ α β. α -> [β];
717+ random = ∀ α β. α -> β;
718− raspihats = ∀ α β. α -> [β];
718+ raspihats = ∀ α β. α -> β;
719− raspyrfm = ∀ α β. α -> [β];
719+ raspyrfm = ∀ α β. α -> β;
720− recollect_waste = ∀ α β. α -> [β];
720+ recollect_waste = ∀ α β. α -> β;
721 recorder = ∀ α β. (α.sqlalchemy = β) => α -> [β];
721 recorder = ∀ α β. (α.sqlalchemy = β) => α -> [β];
722− recswitch = ∀ α β. α -> [β];
722+ recswitch = ∀ α β. α -> β;
723 reddit = ∀ α β. (α.praw = β) => α -> [β];
723 reddit = ∀ α β. (α.praw = β) => α -> [β];
724− rejseplanen = ∀ α β. α -> [β];
724+ rejseplanen = ∀ α β. α -> β;
725 remember_the_milk = ∀ α β. (α.httplib2 = β) => α -> [β];
725 remember_the_milk = ∀ α β. (α.httplib2 = β) => α -> [β];
726− remote = ∀ α β. α -> [β];
726+ remote = ∀ α β. α -> β;
727− remote_rpi_gpio = ∀ α β. α -> [β];
727+ remote_rpi_gpio = ∀ α β. α -> β;
728− repetier = ∀ α β. α -> [β];
728+ repetier = ∀ α β. α -> β;
729 rest = ∀ α β. (α.jsonpath = β, α.xmltodict = β) => α -> [β];
729 rest = ∀ α β. (α.jsonpath = β, α.xmltodict = β) => α -> [β];
730− rest_command = ∀ α β. α -> [β];
730+ rest_command = ∀ α β. α -> β;
731− rflink = ∀ α β. α -> [β];
731+ rflink = ∀ α β. α -> β;
732− rfxtrx = ∀ α β. α -> [β];
732+ rfxtrx = ∀ α β. α -> β;
733 ring = ∀ α β. (α.ha-ffmpeg = β) => α -> [β];
733 ring = ∀ α β. (α.ha-ffmpeg = β) => α -> [β];
734− ripple = ∀ α β. α -> [β];
734+ ripple = ∀ α β. α -> β;
735 rmvtransport = ∀ α β. (α.PyRMVtransport = β) => α -> [β];
735 rmvtransport = ∀ α β. (α.PyRMVtransport = β) => α -> [β];
736− rocketchat = ∀ α β. α -> [β];
736+ rocketchat = ∀ α β. α -> β;
737− roku = ∀ α β. α -> [β];
737+ roku = ∀ α β. α -> β;
738− roomba = ∀ α β. α -> [β];
738+ roomba = ∀ α β. α -> β;
739 route53 = ∀ α β. (α.boto3 = β) => α -> [β];
739 route53 = ∀ α β. (α.boto3 = β) => α -> [β];
740− rova = ∀ α β. α -> [β];
740+ rova = ∀ α β. α -> β;
741− rpi_camera = ∀ α β. α -> [β];
741+ rpi_camera = ∀ α β. α -> β;
742− rpi_gpio = ∀ α β. α -> [β];
742+ rpi_gpio = ∀ α β. α -> β;
743− rpi_gpio_pwm = ∀ α β. α -> [β];
743+ rpi_gpio_pwm = ∀ α β. α -> β;
744− rpi_pfio = ∀ α β. α -> [β];
744+ rpi_pfio = ∀ α β. α -> β;
745− rpi_rf = ∀ α β. α -> [β];
745+ rpi_rf = ∀ α β. α -> β;
746 rss_feed_template = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
746 rss_feed_template = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
747− rtorrent = ∀ α β. α -> [β];
747+ rtorrent = ∀ α β. α -> β;
748− russound_rio = ∀ α β. α -> [β];
748+ russound_rio = ∀ α β. α -> β;
749− russound_rnet = ∀ α β. α -> [β];
749+ russound_rnet = ∀ α β. α -> β;
750 sabnzbd =
750 sabnzbd =
751 ∀ α β. (α.aiohttp-cors = β, α.netdisco = β, α.zeroconf = β) => α -> [β];
751 ∀ α β. (α.aiohttp-cors = β, α.netdisco = β, α.zeroconf = β) => α -> [β];
752 safe_mode = ∀ α β. (α.aiohttp-cors = β, α.hass-nabucasa = β) => α -> [β];
752 safe_mode = ∀ α β. (α.aiohttp-cors = β, α.hass-nabucasa = β) => α -> [β];
753− saj = ∀ α β. α -> [β];
753+ saj = ∀ α β. α -> β;
754− salt = ∀ α β. α -> [β];
754+ salt = ∀ α β. α -> β;
755 samsungtv = ∀ α β. (α.samsungctl = β, α.samsungtvws = β) => α -> [β];
755 samsungtv = ∀ α β. (α.samsungctl = β, α.samsungtvws = β) => α -> [β];
756− satel_integra = ∀ α β. α -> [β];
756+ satel_integra = ∀ α β. α -> β;
757− scene = ∀ α β. α -> [β];
757+ scene = ∀ α β. α -> β;
758− schluter = ∀ α β. α -> [β];
758+ schluter = ∀ α β. α -> β;
761 (α.beautifulsoup4 = β, α.jsonpath = β, α.xmltodict = β) => α -> [β];
761 (α.beautifulsoup4 = β, α.jsonpath = β, α.xmltodict = β) => α -> [β];
762− script = ∀ α β. α -> [β];
762+ script = ∀ α β. α -> β;
763− scsgate = ∀ α β. α -> [β];
763+ scsgate = ∀ α β. α -> β;
764 search = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
764 search = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
765 season = ∀ α β. (α.ephem = β) => α -> [β];
765 season = ∀ α β. (α.ephem = β) => α -> [β];
766− sendgrid = ∀ α β. α -> [β];
766+ sendgrid = ∀ α β. α -> β;
767− sense = ∀ α β. α -> [β];
767+ sense = ∀ α β. α -> β;
768− sensehat = ∀ α β. α -> [β];
768+ sensehat = ∀ α β. α -> β;
769− sensibo = ∀ α β. α -> [β];
769+ sensibo = ∀ α β. α -> β;
770− sensor = ∀ α β. α -> [β];
770+ sensor = ∀ α β. α -> β;
771 sentry = ∀ α β. (α.sentry-sdk = β) => α -> [β];
771 sentry = ∀ α β. (α.sentry-sdk = β) => α -> [β];
772 serial = ∀ α β. (α.pyserial-asyncio = β) => α -> [β];
772 serial = ∀ α β. (α.pyserial-asyncio = β) => α -> [β];
773− serial_pm = ∀ α β. α -> [β];
773+ serial_pm = ∀ α β. α -> β;
774− sesame = ∀ α β. α -> [β];
774+ sesame = ∀ α β. α -> β;
775 seven_segments = ∀ α β. (α.pillow = β) => α -> [β];
775 seven_segments = ∀ α β. (α.pillow = β) => α -> [β];
776− seventeentrack = ∀ α β. α -> [β];
776+ seventeentrack = ∀ α β. α -> β;
777− shell_command = ∀ α β. α -> [β];
777+ shell_command = ∀ α β. α -> β;
778 shiftr = ∀ α β. (α.paho-mqtt = β) => α -> [β];
778 shiftr = ∀ α β. (α.paho-mqtt = β) => α -> [β];
779 shodan = ∀ α β. (α.shodan = β) => α -> [β];
779 shodan = ∀ α β. (α.shodan = β) => α -> [β];
780 shopping_list = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
780 shopping_list = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
781− sht31 = ∀ α β. α -> [β];
781+ sht31 = ∀ α β. α -> β;
782− sigfox = ∀ α β. α -> [β];
782+ sigfox = ∀ α β. α -> β;
783 sighthound = ∀ α β. (α.pillow = β) => α -> [β];
783 sighthound = ∀ α β. (α.pillow = β) => α -> [β];
784− signal_messenger = ∀ α β. α -> [β];
784+ signal_messenger = ∀ α β. α -> β;
785− simplepush = ∀ α β. α -> [β];
785+ simplepush = ∀ α β. α -> β;
786− simplisafe = ∀ α β. α -> [β];
786+ simplisafe = ∀ α β. α -> β;
787− simulated = ∀ α β. α -> [β];
787+ simulated = ∀ α β. α -> β;
788− sinch = ∀ α β. α -> [β];
788+ sinch = ∀ α β. α -> β;
789− sisyphus = ∀ α β. α -> [β];
789+ sisyphus = ∀ α β. α -> β;
790− sky_hub = ∀ α β. α -> [β];
790+ sky_hub = ∀ α β. α -> β;
791− skybeacon = ∀ α β. α -> [β];
791+ skybeacon = ∀ α β. α -> β;
792− skybell = ∀ α β. α -> [β];
792+ skybell = ∀ α β. α -> β;
793− slack = ∀ α β. α -> [β];
793+ slack = ∀ α β. α -> β;
794− sleepiq = ∀ α β. α -> [β];
794+ sleepiq = ∀ α β. α -> β;
795− slide = ∀ α β. α -> [β];
795+ slide = ∀ α β. α -> β;
796− sma = ∀ α β. α -> [β];
796+ sma = ∀ α β. α -> β;
797 smappee = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
797 smappee = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
798− smarthab = ∀ α β. α -> [β];
798+ smarthab = ∀ α β. α -> β;
799 smartthings =
799 smartthings =
800 ∀ α β. (α.aiohttp-cors = β, α.hass-nabucasa = β) => α -> [β];
800 ∀ α β. (α.aiohttp-cors = β, α.hass-nabucasa = β) => α -> [β];
801− smarty = ∀ α β. α -> [β];
801+ smarty = ∀ α β. α -> β;
802− smhi = ∀ α β. α -> [β];
802+ smhi = ∀ α β. α -> β;
803− sms = ∀ α β. α -> [β];
803+ sms = ∀ α β. α -> β;
804− smtp = ∀ α β. α -> [β];
804+ smtp = ∀ α β. α -> β;
805 snapcast = ∀ α β. (α.snapcast = β) => α -> [β];
805 snapcast = ∀ α β. (α.snapcast = β) => α -> [β];
806 snips = ∀ α β. (α.aiohttp-cors = β, α.paho-mqtt = β) => α -> [β];
806 snips = ∀ α β. (α.aiohttp-cors = β, α.paho-mqtt = β) => α -> [β];
807 snmp = ∀ α β. (α.pysnmp = β) => α -> [β];
807 snmp = ∀ α β. (α.pysnmp = β) => α -> [β];
808− sochain = ∀ α β. α -> [β];
808+ sochain = ∀ α β. α -> β;
809− socialblade = ∀ α β. α -> [β];
809+ socialblade = ∀ α β. α -> β;
810 solaredge = ∀ α β. (α.stringcase = β) => α -> [β];
810 solaredge = ∀ α β. (α.stringcase = β) => α -> [β];
811− solaredge_local = ∀ α β. α -> [β];
811+ solaredge_local = ∀ α β. α -> β;
812− solarlog = ∀ α β. α -> [β];
812+ solarlog = ∀ α β. α -> β;
813− solax = ∀ α β. α -> [β];
813+ solax = ∀ α β. α -> β;
814− soma = ∀ α β. α -> [β];
814+ soma = ∀ α β. α -> β;
815 somfy = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
815 somfy = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
816− somfy_mylink = ∀ α β. α -> [β];
816+ somfy_mylink = ∀ α β. α -> β;
817− sonarr = ∀ α β. α -> [β];
817+ sonarr = ∀ α β. α -> β;
818− songpal = ∀ α β. α -> [β];
818+ songpal = ∀ α β. α -> β;
819 sonos = ∀ α β. (α.pysonos = β) => α -> [β];
819 sonos = ∀ α β. (α.pysonos = β) => α -> [β];
820− sony_projector = ∀ α β. α -> [β];
820+ sony_projector = ∀ α β. α -> β;
821 soundtouch =
821 soundtouch =
823 (α.aiohttp-cors = β, α.libsoundtouch = β, α.zeroconf = β) => α -> [β];
823 (α.aiohttp-cors = β, α.libsoundtouch = β, α.zeroconf = β) => α -> [β];
824 spaceapi = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
824 spaceapi = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
825− spc = ∀ α β. α -> [β];
825+ spc = ∀ α β. α -> β;
826 speedtestdotnet = ∀ α β. (α.speedtest-cli = β) => α -> [β];
826 speedtestdotnet = ∀ α β. (α.speedtest-cli = β) => α -> [β];
827− spider = ∀ α β. α -> [β];
827+ spider = ∀ α β. α -> β;
828− splunk = ∀ α β. α -> [β];
828+ splunk = ∀ α β. α -> β;
829− spotcrime = ∀ α β. α -> [β];
829+ spotcrime = ∀ α β. α -> β;
830 spotify = ∀ α β. (α.aiohttp-cors = β, α.spotipy = β) => α -> [β];
830 spotify = ∀ α β. (α.aiohttp-cors = β, α.spotipy = β) => α -> [β];
831 sql = ∀ α β. (α.sqlalchemy = β) => α -> [β];
831 sql = ∀ α β. (α.sqlalchemy = β) => α -> [β];
832 squeezebox = ∀ α β. (α.pysqueezebox = β) => α -> [β];
832 squeezebox = ∀ α β. (α.pysqueezebox = β) => α -> [β];
@@ -838,47 +838,47 @@
838 α.zeroconf = β
838 α.zeroconf = β
840 α -> [β];
840 α -> [β];
841− starline = ∀ α β. α -> [β];
841+ starline = ∀ α β. α -> β;
842− starlingbank = ∀ α β. α -> [β];
842+ starlingbank = ∀ α β. α -> β;
843 startca = ∀ α β. (α.xmltodict = β) => α -> [β];
843 startca = ∀ α β. (α.xmltodict = β) => α -> [β];
844 statistics = ∀ α β. (α.sqlalchemy = β) => α -> [β];
844 statistics = ∀ α β. (α.sqlalchemy = β) => α -> [β];
845 statsd = ∀ α β. (α.statsd = β) => α -> [β];
845 statsd = ∀ α β. (α.statsd = β) => α -> [β];
846− steam_online = ∀ α β. α -> [β];
846+ steam_online = ∀ α β. α -> β;
847− stiebel_eltron = ∀ α β. α -> [β];
847+ stiebel_eltron = ∀ α β. α -> β;
848− stookalert = ∀ α β. α -> [β];
848+ stookalert = ∀ α β. α -> β;
849 stream = ∀ α β. (α.aiohttp-cors = β, α.av = β) => α -> [β];
849 stream = ∀ α β. (α.aiohttp-cors = β, α.av = β) => α -> [β];
850− streamlabswater = ∀ α β. α -> [β];
850+ streamlabswater = ∀ α β. α -> β;
851 stt = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
851 stt = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
852− suez_water = ∀ α β. α -> [β];
852+ suez_water = ∀ α β. α -> β;
853− sun = ∀ α β. α -> [β];
853+ sun = ∀ α β. α -> β;
854− supervisord = ∀ α β. α -> [β];
854+ supervisord = ∀ α β. α -> β;
855− supla = ∀ α β. α -> [β];
855+ supla = ∀ α β. α -> β;
856− surepetcare = ∀ α β. α -> [β];
856+ surepetcare = ∀ α β. α -> β;
857− swiss_hydrological_data = ∀ α β. α -> [β];
857+ swiss_hydrological_data = ∀ α β. α -> β;
858− swiss_public_transport = ∀ α β. α -> [β];
858+ swiss_public_transport = ∀ α β. α -> β;
859− swisscom = ∀ α β. α -> [β];
859+ swisscom = ∀ α β. α -> β;
860− switch = ∀ α β. α -> [β];
860+ switch = ∀ α β. α -> β;
861− switchbot = ∀ α β. α -> [β];
861+ switchbot = ∀ α β. α -> β;
862− switcher_kis = ∀ α β. α -> [β];
862+ switcher_kis = ∀ α β. α -> β;
863− switchmate = ∀ α β. α -> [β];
863+ switchmate = ∀ α β. α -> β;
864− syncthru = ∀ α β. α -> [β];
864+ syncthru = ∀ α β. α -> β;
865− synology = ∀ α β. α -> [β];
865+ synology = ∀ α β. α -> β;
866− synology_chat = ∀ α β. α -> [β];
866+ synology_chat = ∀ α β. α -> β;
867− synology_dsm = ∀ α β. α -> [β];
867+ synology_dsm = ∀ α β. α -> β;
868− synology_srm = ∀ α β. α -> [β];
868+ synology_srm = ∀ α β. α -> β;
869− syslog = ∀ α β. α -> [β];
869+ syslog = ∀ α β. α -> β;
870 system_health = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
870 system_health = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
871 system_log = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
871 system_log = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
872 systemmonitor = ∀ α β. (α.psutil = β) => α -> [β];
872 systemmonitor = ∀ α β. (α.psutil = β) => α -> [β];
873− tado = ∀ α β. α -> [β];
873+ tado = ∀ α β. α -> β;
874− tahoma = ∀ α β. α -> [β];
874+ tahoma = ∀ α β. α -> β;
875− tank_utility = ∀ α β. α -> [β];
875+ tank_utility = ∀ α β. α -> β;
876− tankerkoenig = ∀ α β. α -> [β];
876+ tankerkoenig = ∀ α β. α -> β;
877− tapsaff = ∀ α β. α -> [β];
877+ tapsaff = ∀ α β. α -> β;
878− tautulli = ∀ α β. α -> [β];
878+ tautulli = ∀ α β. α -> β;
879− tcp = ∀ α β. α -> [β];
879+ tcp = ∀ α β. α -> β;
880 ted5000 = ∀ α β. (α.xmltodict = β) => α -> [β];
880 ted5000 = ∀ α β. (α.xmltodict = β) => α -> [β];
881− teksavvy = ∀ α β. α -> [β];
881+ teksavvy = ∀ α β. α -> β;
882 telegram =
882 telegram =
884 (α.aiohttp-cors = β, α.pysocks = β, α.python-telegram-bot = β) => α ->
884 (α.aiohttp-cors = β, α.pysocks = β, α.python-telegram-bot = β) => α ->
@@ -887,139 +887,139 @@
888 (α.aiohttp-cors = β, α.pysocks = β, α.python-telegram-bot = β) => α ->
888 (α.aiohttp-cors = β, α.pysocks = β, α.python-telegram-bot = β) => α ->
890− tellduslive = ∀ α β. α -> [β];
890+ tellduslive = ∀ α β. α -> β;
891− tellstick = ∀ α β. α -> [β];
891+ tellstick = ∀ α β. α -> β;
892− telnet = ∀ α β. α -> [β];
892+ telnet = ∀ α β. α -> β;
893− temper = ∀ α β. α -> [β];
893+ temper = ∀ α β. α -> β;
894− template = ∀ α β. α -> [β];
894+ template = ∀ α β. α -> β;
895 tensorflow =
895 tensorflow =
896 ∀ α β. (α.numpy = β, α.pillow = β, α.protobuf = β) => α -> [β];
896 ∀ α β. (α.numpy = β, α.pillow = β, α.protobuf = β) => α -> [β];
897− tesla = ∀ α β. α -> [β];
897+ tesla = ∀ α β. α -> β;
898− tfiac = ∀ α β. α -> [β];
898+ tfiac = ∀ α β. α -> β;
899 thermoworks_smoke = ∀ α β. (α.stringcase = β) => α -> [β];
899 thermoworks_smoke = ∀ α β. (α.stringcase = β) => α -> [β];
900− thethingsnetwork = ∀ α β. α -> [β];
900+ thethingsnetwork = ∀ α β. α -> β;
901− thingspeak = ∀ α β. α -> [β];
901+ thingspeak = ∀ α β. α -> β;
902− thinkingcleaner = ∀ α β. α -> [β];
902+ thinkingcleaner = ∀ α β. α -> β;
903− thomson = ∀ α β. α -> [β];
903+ thomson = ∀ α β. α -> β;
904− threshold = ∀ α β. α -> [β];
904+ threshold = ∀ α β. α -> β;
905− tibber = ∀ α β. α -> [β];
905+ tibber = ∀ α β. α -> β;
906− tikteck = ∀ α β. α -> [β];
906+ tikteck = ∀ α β. α -> β;
907− tile = ∀ α β. α -> [β];
907+ tile = ∀ α β. α -> β;
908− time_date = ∀ α β. α -> [β];
908+ time_date = ∀ α β. α -> β;
909− timer = ∀ α β. α -> [β];
909+ timer = ∀ α β. α -> β;
910− tmb = ∀ α β. α -> [β];
910+ tmb = ∀ α β. α -> β;
911− tod = ∀ α β. α -> [β];
911+ tod = ∀ α β. α -> β;
912 todoist = ∀ α β. (α.todoist = β) => α -> [β];
912 todoist = ∀ α β. (α.todoist = β) => α -> [β];
913− tof = ∀ α β. α -> [β];
913+ tof = ∀ α β. α -> β;
914− tomato = ∀ α β. α -> [β];
914+ tomato = ∀ α β. α -> β;
915 toon = ∀ α β. (α.aiohttp-cors = β, α.hass-nabucasa = β) => α -> [β];
915 toon = ∀ α β. (α.aiohttp-cors = β, α.hass-nabucasa = β) => α -> [β];
916 torque = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
916 torque = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
917− totalconnect = ∀ α β. α -> [β];
917+ totalconnect = ∀ α β. α -> β;
918− touchline = ∀ α β. α -> [β];
918+ touchline = ∀ α β. α -> β;
919 tplink = ∀ α β. (α.pyhs100 = β) => α -> [β];
919 tplink = ∀ α β. (α.pyhs100 = β) => α -> [β];
920− tplink_lte = ∀ α β. α -> [β];
920+ tplink_lte = ∀ α β. α -> β;
921 traccar = ∀ α β. (α.aiohttp-cors = β, α.stringcase = β) => α -> [β];
921 traccar = ∀ α β. (α.aiohttp-cors = β, α.stringcase = β) => α -> [β];
922− trackr = ∀ α β. α -> [β];
922+ trackr = ∀ α β. α -> β;
923− tradfri = ∀ α β. α -> [β];
923+ tradfri = ∀ α β. α -> β;
924− trafikverket_train = ∀ α β. α -> [β];
924+ trafikverket_train = ∀ α β. α -> β;
925− trafikverket_weatherstation = ∀ α β. α -> [β];
925+ trafikverket_weatherstation = ∀ α β. α -> β;
926 transmission = ∀ α β. (α.transmissionrpc = β) => α -> [β];
926 transmission = ∀ α β. (α.transmissionrpc = β) => α -> [β];
927− transport_nsw = ∀ α β. α -> [β];
927+ transport_nsw = ∀ α β. α -> β;
928− travisci = ∀ α β. α -> [β];
928+ travisci = ∀ α β. α -> β;
929 trend = ∀ α β. (α.numpy = β) => α -> [β];
929 trend = ∀ α β. (α.numpy = β) => α -> [β];
930 tts = ∀ α β. (α.aiohttp-cors = β, α.mutagen = β) => α -> [β];
930 tts = ∀ α β. (α.aiohttp-cors = β, α.mutagen = β) => α -> [β];
931− tuya = ∀ α β. α -> [β];
931+ tuya = ∀ α β. α -> β;
932− twentemilieu = ∀ α β. α -> [β];
932+ twentemilieu = ∀ α β. α -> β;
933 twilio = ∀ α β. (α.aiohttp-cors = β, α.twilio = β) => α -> [β];
933 twilio = ∀ α β. (α.aiohttp-cors = β, α.twilio = β) => α -> [β];
934 twilio_call = ∀ α β. (α.aiohttp-cors = β, α.twilio = β) => α -> [β];
934 twilio_call = ∀ α β. (α.aiohttp-cors = β, α.twilio = β) => α -> [β];
935 twilio_sms = ∀ α β. (α.aiohttp-cors = β, α.twilio = β) => α -> [β];
935 twilio_sms = ∀ α β. (α.aiohttp-cors = β, α.twilio = β) => α -> [β];
936− twitch = ∀ α β. α -> [β];
936+ twitch = ∀ α β. α -> β;
937− twitter = ∀ α β. α -> [β];
937+ twitter = ∀ α β. α -> β;
938− ubee = ∀ α β. α -> [β];
938+ ubee = ∀ α β. α -> β;
939− ubus = ∀ α β. α -> [β];
939+ ubus = ∀ α β. α -> β;
940− ue_smart_radio = ∀ α β. α -> [β];
940+ ue_smart_radio = ∀ α β. α -> β;
941− uk_transport = ∀ α β. α -> [β];
941+ uk_transport = ∀ α β. α -> β;
942 unifi = ∀ α β. (α.aiounifi = β) => α -> [β];
942 unifi = ∀ α β. (α.aiounifi = β) => α -> [β];
943 unifi_direct = ∀ α β. (α.pexpect = β) => α -> [β];
943 unifi_direct = ∀ α β. (α.pexpect = β) => α -> [β];
944− unifiled = ∀ α β. α -> [β];
944+ unifiled = ∀ α β. α -> β;
945− universal = ∀ α β. α -> [β];
945+ universal = ∀ α β. α -> β;
946− upb = ∀ α β. α -> [β];
946+ upb = ∀ α β. α -> β;
947− upc_connect = ∀ α β. α -> [β];
947+ upc_connect = ∀ α β. α -> β;
948− upcloud = ∀ α β. α -> [β];
948+ upcloud = ∀ α β. α -> β;
949 updater = ∀ α β. (α.distro = β) => α -> [β];
949 updater = ∀ α β. (α.distro = β) => α -> [β];
950 upnp = ∀ α β. (α.async-upnp-client = β) => α -> [β];
950 upnp = ∀ α β. (α.async-upnp-client = β) => α -> [β];
951− uptime = ∀ α β. α -> [β];
951+ uptime = ∀ α β. α -> β;
952− uptimerobot = ∀ α β. α -> [β];
952+ uptimerobot = ∀ α β. α -> β;
953− uscis = ∀ α β. α -> [β];
953+ uscis = ∀ α β. α -> β;
954− usgs_earthquakes_feed = ∀ α β. α -> [β];
954+ usgs_earthquakes_feed = ∀ α β. α -> β;
955− utility_meter = ∀ α β. α -> [β];
955+ utility_meter = ∀ α β. α -> β;
956 uvc = ∀ α β. (α.uvcclient = β) => α -> [β];
956 uvc = ∀ α β. (α.uvcclient = β) => α -> [β];
957− vacuum = ∀ α β. α -> [β];
957+ vacuum = ∀ α β. α -> β;
958− vallox = ∀ α β. α -> [β];
958+ vallox = ∀ α β. α -> β;
959− vasttrafik = ∀ α β. α -> [β];
959+ vasttrafik = ∀ α β. α -> β;
960− velbus = ∀ α β. α -> [β];
960+ velbus = ∀ α β. α -> β;
961− velux = ∀ α β. α -> [β];
961+ velux = ∀ α β. α -> β;
962− venstar = ∀ α β. α -> [β];
962+ venstar = ∀ α β. α -> β;
963− vera = ∀ α β. α -> [β];
963+ vera = ∀ α β. α -> β;
964 verisure = ∀ α β. (α.jsonpath = β) => α -> [β];
964 verisure = ∀ α β. (α.jsonpath = β) => α -> [β];
965− versasense = ∀ α β. α -> [β];
965+ versasense = ∀ α β. α -> β;
966 version = ∀ α β. (α.pyhaversion = β) => α -> [β];
966 version = ∀ α β. (α.pyhaversion = β) => α -> [β];
967− vesync = ∀ α β. α -> [β];
967+ vesync = ∀ α β. α -> β;
968− viaggiatreno = ∀ α β. α -> [β];
968+ viaggiatreno = ∀ α β. α -> β;
969− vicare = ∀ α β. α -> [β];
969+ vicare = ∀ α β. α -> β;
970− vilfo = ∀ α β. α -> [β];
970+ vilfo = ∀ α β. α -> β;
971− vivotek = ∀ α β. α -> [β];
971+ vivotek = ∀ α β. α -> β;
972− vizio = ∀ α β. α -> [β];
972+ vizio = ∀ α β. α -> β;
973 vlc = ∀ α β. (α.python-vlc = β) => α -> [β];
973 vlc = ∀ α β. (α.python-vlc = β) => α -> [β];
974− vlc_telnet = ∀ α β. α -> [β];
974+ vlc_telnet = ∀ α β. α -> β;
975− voicerss = ∀ α β. α -> [β];
975+ voicerss = ∀ α β. α -> β;
976− volkszaehler = ∀ α β. α -> [β];
976+ volkszaehler = ∀ α β. α -> β;
977− volumio = ∀ α β. α -> [β];
977+ volumio = ∀ α β. α -> β;
978− volvooncall = ∀ α β. α -> [β];
978+ volvooncall = ∀ α β. α -> β;
979 vultr = ∀ α β. (α.vultr = β) => α -> [β];
979 vultr = ∀ α β. (α.vultr = β) => α -> [β];
980− w800rf32 = ∀ α β. α -> [β];
980+ w800rf32 = ∀ α β. α -> β;
981 wake_on_lan = ∀ α β. (α.wakeonlan = β) => α -> [β];
981 wake_on_lan = ∀ α β. (α.wakeonlan = β) => α -> [β];
982− waqi = ∀ α β. α -> [β];
982+ waqi = ∀ α β. α -> β;
983− water_heater = ∀ α β. α -> [β];
983+ water_heater = ∀ α β. α -> β;
984− waterfurnace = ∀ α β. α -> [β];
984+ waterfurnace = ∀ α β. α -> β;
985− watson_iot = ∀ α β. α -> [β];
985+ watson_iot = ∀ α β. α -> β;
986− watson_tts = ∀ α β. α -> [β];
986+ watson_tts = ∀ α β. α -> β;
987 waze_travel_time = ∀ α β. (α.WazeRouteCalculator = β) => α -> [β];
987 waze_travel_time = ∀ α β. (α.WazeRouteCalculator = β) => α -> [β];
988− weather = ∀ α β. α -> [β];
988+ weather = ∀ α β. α -> β;
989 webhook = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
989 webhook = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
990− webostv = ∀ α β. α -> [β];
990+ webostv = ∀ α β. α -> β;
991 websocket_api = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
991 websocket_api = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
992− wemo = ∀ α β. α -> [β];
992+ wemo = ∀ α β. α -> β;
993− whois = ∀ α β. α -> [β];
993+ whois = ∀ α β. α -> β;
994− wiffi = ∀ α β. α -> [β];
994+ wiffi = ∀ α β. α -> β;
995 wink = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
995 wink = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
996− wirelesstag = ∀ α β. α -> [β];
996+ wirelesstag = ∀ α β. α -> β;
997 withings = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
997 withings = ∀ α β. (α.aiohttp-cors = β) => α -> [β];
998− wled = ∀ α β. α -> [β];
998+ wled = ∀ α β. α -> β;
999− wolflink = ∀ α β. α -> [β];
999+ wolflink = ∀ α β. α -> β;
1000 workday = ∀ α β. (α.holidays = β) => α -> [β];
1000 workday = ∀ α β. (α.holidays = β) => α -> [β];
1001− worldclock = ∀ α β. α -> [β];
1001+ worldclock = ∀ α β. α -> β;
1002− worldtidesinfo = ∀ α β. α -> [β];
1002+ worldtidesinfo = ∀ α β. α -> β;
1003− worxlandroid = ∀ α β. α -> [β];
1003+ worxlandroid = ∀ α β. α -> β;
1004− wsdot = ∀ α β. α -> [β];
1004+ wsdot = ∀ α β. α -> β;
1005− wunderground = ∀ α β. α -> [β];
1005+ wunderground = ∀ α β. α -> β;
1006− x10 = ∀ α β. α -> [β];
1006+ x10 = ∀ α β. α -> β;
1007− xbee = ∀ α β. α -> [β];
1007+ xbee = ∀ α β. α -> β;
1008− xbox_live = ∀ α β. α -> [β];
1008+ xbox_live = ∀ α β. α -> β;
1009− xeoma = ∀ α β. α -> [β];
1009+ xeoma = ∀ α β. α -> β;
1010− xfinity = ∀ α β. α -> [β];
1010+ xfinity = ∀ α β. α -> β;
1011 xiaomi = ∀ α β. (α.ha-ffmpeg = β) => α -> [β];
1011 xiaomi = ∀ α β. (α.ha-ffmpeg = β) => α -> [β];
1012 xiaomi_aqara =
1012 xiaomi_aqara =
1013 ∀ α β. (α.aiohttp-cors = β, α.netdisco = β, α.zeroconf = β) => α -> [β];
1013 ∀ α β. (α.aiohttp-cors = β, α.netdisco = β, α.zeroconf = β) => α -> [β];
1014 xiaomi_miio = ∀ α β. (α.construct = β, α.python-miio = β) => α -> [β];
1014 xiaomi_miio = ∀ α β. (α.construct = β, α.python-miio = β) => α -> [β];
1015− xiaomi_tv = ∀ α β. α -> [β];
1015+ xiaomi_tv = ∀ α β. α -> β;
1016 xmpp = ∀ α β. (α.slixmpp = β) => α -> [β];
1016 xmpp = ∀ α β. (α.slixmpp = β) => α -> [β];
1017− xs1 = ∀ α β. α -> [β];
1017+ xs1 = ∀ α β. α -> β;
1018− yale_smart_alarm = ∀ α β. α -> [β];
1018+ yale_smart_alarm = ∀ α β. α -> β;
1019 yamaha = ∀ α β. (α.rxv = β) => α -> [β];
1019 yamaha = ∀ α β. (α.rxv = β) => α -> [β];
1020− yamaha_musiccast = ∀ α β. α -> [β];
1020+ yamaha_musiccast = ∀ α β. α -> β;
1021− yandex_transport = ∀ α β. α -> [β];
1021+ yandex_transport = ∀ α β. α -> β;
1022− yandextts = ∀ α β. α -> [β];
1022+ yandextts = ∀ α β. α -> β;
1023 yeelight =
1023 yeelight =
1025 ( α.aiohttp-cors = β,
1025 ( α.aiohttp-cors = β,
@@ -1028,15 +1028,15 @@
1028 α.zeroconf = β
1028 α.zeroconf = β
1030 α -> [β];
1030 α -> [β];
1031− yeelightsunflower = ∀ α β. α -> [β];
1031+ yeelightsunflower = ∀ α β. α -> β;
1032− yessssms = ∀ α β. α -> [β];
1032+ yessssms = ∀ α β. α -> β;
1033 yi = ∀ α β. (α.aioftp = β, α.ha-ffmpeg = β) => α -> [β];
1033 yi = ∀ α β. (α.aioftp = β, α.ha-ffmpeg = β) => α -> [β];
1034 yr = ∀ α β. (α.xmltodict = β) => α -> [β];
1034 yr = ∀ α β. (α.xmltodict = β) => α -> [β];
1035− zabbix = ∀ α β. α -> [β];
1035+ zabbix = ∀ α β. α -> β;
1036− zamg = ∀ α β. α -> [β];
1036+ zamg = ∀ α β. α -> β;
1037− zengge = ∀ α β. α -> [β];
1037+ zengge = ∀ α β. α -> β;
1038 zeroconf = ∀ α β. (α.aiohttp-cors = β, α.zeroconf = β) => α -> [β];
1038 zeroconf = ∀ α β. (α.aiohttp-cors = β, α.zeroconf = β) => α -> [β];
1039− zerproc = ∀ α β. α -> [β];
1039+ zerproc = ∀ α β. α -> β;
1040 zestimate = ∀ α β. (α.xmltodict = β) => α -> [β];
1040 zestimate = ∀ α β. (α.xmltodict = β) => α -> [β];
@@ -1050,9 +1050,9 @@
1050 α.zigpy-zigate = β
1050 α.zigpy-zigate = β
1052 α -> [β];
1052 α -> [β];
1053− zhong_hong = ∀ α β. α -> [β];
1053+ zhong_hong = ∀ α β. α -> β;
1054− ziggo_mediabox_xl = ∀ α β. α -> [β];
1054+ ziggo_mediabox_xl = ∀ α β. α -> β;
1055− zone = ∀ α β. α -> [β];
1055+ zone = ∀ α β. α -> β;
1056 zoneminder = ∀ α β. (α.zm-py = β) => α -> [β];
1056 zoneminder = ∀ α β. (α.zm-py = β) => α -> [β];
1058 ∀ α β. (α.homeassistant-pyozw = β, α.pydispatcher = β) => α -> [β];
1058 ∀ α β. (α.homeassistant-pyozw = β, α.pydispatcher = β) => α -> [β];