name arduino-ide
package-id 0ad68f917a4ea7b51a7959320bc772ce
pkg-format 2
timestamp 2022-12-02T11:11:00+02:00
version 7
