[PR PATCH] arduino-cli: update to 0.7.2.

[PR PATCH] arduino-cli: update to 0.7.2.

[voidlinux-github]

[-- Attachment #1: Type: text/plain, Size: 320 bytes --]

There is a new pull request by anjandev against master on the void-packages repository

https://github.com/anjandev/void-packages arduino-cli
https://github.com/void-linux/void-packages/pull/18655

arduino-cli: update to 0.7.2.


A patch file from https://github.com/void-linux/void-packages/pull/18655.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-arduino-cli-18655.patch --]
[-- Type: text/x-diff, Size: 1028 bytes --]

From 9be60e725631ddfae4fbd1f18b29098bb25ffeb0 Mon Sep 17 00:00:00 2001
From: Anjandev Momi <anjan@momi.ca>
Date: Thu, 30 Jan 2020 00:19:45 -0800
Subject: [PATCH] arduino-cli: update to 0.7.2.

---
 srcpkgs/arduino-cli/template | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/srcpkgs/arduino-cli/template b/srcpkgs/arduino-cli/template
index 42ab169530e..0b9fd8a2974 100644
--- a/srcpkgs/arduino-cli/template
+++ b/srcpkgs/arduino-cli/template
@@ -1,6 +1,6 @@
 # Template file for 'arduino-cli'
 pkgname=arduino-cli
-version=0.7.1
+version=0.7.2
 revision=1
 build_style=go
 go_import_path=github.com/arduino/arduino-cli
@@ -9,4 +9,4 @@ maintainer="Jasper Chan <jasperchan515@gmail.com>"
 license="GPL-3.0-or-later"
 homepage="https://github.com/arduino/arduino-cli"
 distfiles="https://github.com/arduino/arduino-cli/archive/${version}${_status}.tar.gz"
-checksum=335ce738081e2ad6dda5c3b8d63559cfb9e1d541d1ec0afcb9aade9800695161
+checksum=b00b9c0cf29d9b83b693f62357f7bf8a06feb272873f1195240db92fba149995

Re: [PR PATCH] [Merged]: arduino-cli: update to 0.7.2.

[voidlinux-github]

[-- Attachment #1: Type: text/plain, Size: 163 bytes --]

There's a merged pull request on the void-packages repository

arduino-cli: update to 0.7.2.
https://github.com/void-linux/void-packages/pull/18655

Description: