architecture: arm64 component: main package: arduino-builder priority: optional section: electronics srcpkg_name: arduino-builder srcpkg_version: 1.3.25-4 version: 1.3.25-4+b8