Date: Saturday, August 29, 2020 @ 21:27:58 Author: ffy00 Revision: 692255
upgpkg: arduino-cli 0.12.0-1 Modified: arduino-cli/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-08-29 21:27:51 UTC (rev 692254) +++ PKGBUILD 2020-08-29 21:27:58 UTC (rev 692255) @@ -1,7 +1,7 @@ # Maintainer: Filipe Laíns (FFY00) <[email protected]> pkgname=arduino-cli -pkgver=0.12.1 +pkgver=0.12.0 pkgrel=1 arch=('x86_64') pkgdesc='Arduino command line interface'
