../ arduino-builder_1.3.25-4+b3_riscv64.deb 24-May-2024 23:01 789620 arduino-builder_1.3.25-4.debian.tar.xz 08-May-2024 13:05 7684 arduino-builder_1.3.25-4.dsc 08-May-2024 13:05 2252 arduino-builder_1.3.25-4_riscv64.buildinfo 04-Jul-2026 11:01 5288 arduino-builder_1.3.25-4_riscv64.deb 04-Jul-2026 11:01 789556 arduino-builder_1.3.25.orig.tar.xz 08-May-2024 13:05 150476