Date: Saturday, February 15, 2020 @ 13:28:48 Author: ffy00 Revision: 571487
upgpkg: arduino-cli 0.8.0-1 Modified: arduino-cli/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-02-15 13:28:31 UTC (rev 571486) +++ PKGBUILD 2020-02-15 13:28:48 UTC (rev 571487) @@ -1,7 +1,7 @@ # Maintainer: Filipe Laíns (FFY00) <la...@archlinux.org> pkgname=arduino-cli -pkgver=0.7.2 +pkgver=0.8.0 pkgrel=1 arch=('x86_64') pkgdesc='Arduino command line interface'