Date: Tuesday, August 25, 2020 @ 19:01:19 Author: ffy00 Revision: 688632
upgpkg: arduino-cli 0.12.0-1 Modified: arduino-cli/trunk/PKGBUILD ----------+ PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-08-25 19:01:12 UTC (rev 688631) +++ PKGBUILD 2020-08-25 19:01:19 UTC (rev 688632) @@ -1,8 +1,8 @@ # Maintainer: Filipe Laíns (FFY00) <[email protected]> pkgname=arduino-cli -pkgver=0.11.0 -pkgrel=2 +pkgver=0.12.0 +pkgrel=1 arch=('x86_64') pkgdesc='Arduino command line interface' url='https://github.com/arduino/arduino-cli'
