arduino-ide:
  pkg.installed