Date: Friday, December 20, 2019 @ 16:32:04 Author: ffy00 Revision: 538532
upgpkg: arduino-cli 0.7.0-1 Modified: arduino-cli/trunk/PKGBUILD ----------+ PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2019-12-20 16:31:39 UTC (rev 538531) +++ PKGBUILD 2019-12-20 16:32:04 UTC (rev 538532) @@ -1,8 +1,8 @@ # Maintainer: Filipe Laíns (FFY00) <[email protected]> pkgname=arduino-cli -pkgver=0.6.0 -pkgrel=2 +pkgver=0.7.0 +pkgrel=1 arch=('x86_64') pkgdesc='Arduino command line interface' url='https://github.com/arduino/arduino-cli'
