Bug#981300: arduino-core-avr breaks arduino-mk

[debian2]

Package: arduino
Version: 1.8.13+dfsg1-1

The recent rename of arduino-core to arduino-core-avr breaks the Depends 
in arduino-mk:

Depends:
 arduino-core (>= 1:1.0+dfsg-8),

So doing a dist-upgrade and pulling in the new arduino, arduino-core-avr 
etc; removes arduino-core and arduino-mk

Also why are you just now packaging arduino-builder when arduino-cli has 
already replaced it?

Regards.

--
Simon John