Date: Thursday, January 9, 2020 @ 18:01:25 Author: ffy00 Revision: 551391
upgpkg: arduino-cli 0.7.2-1 Modified: arduino-cli/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-01-09 18:00:58 UTC (rev 551390) +++ PKGBUILD 2020-01-09 18:01:25 UTC (rev 551391) @@ -1,7 +1,7 @@ # Maintainer: Filipe Laíns (FFY00) <[email protected]> pkgname=arduino-cli -pkgver=0.7.0 +pkgver=0.7.2 pkgrel=1 arch=('x86_64') pkgdesc='Arduino command line interface'
