diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -2,10 +2,10 @@ pkgname=chibios pkgver=18.2.0 -pkgrel=1 +pkgrel=2 pkgdesc="ChibiOS - free embedded RTOS" arch=('any') -license=('GPL') +license=('GPL3') url="http://chibios.org" source=("https://sourceforge.net/projects/chibios/files/ChibiOS%20GPL3/Version%20${pkgver}/ChibiOS_${pkgver}.7z") sha256sums=('951545e073cb35c7d4768c36e39cfe83e3931655630147c54c4be7f53b9f66f0') |