Package details
Package raspberrypi-dev
Version 0.20200813-r0
Description Raspberry Pi support tools (development files)
Project https://github.com/raspberrypi/userland
License BSD-3-Clause
Branch v3.13
Repository main
Architecture armv7
Size 439.2KiB
Installed size 2.6MiB
Origin raspberrypi
Maintainer Timo Teräs
Build time 2020-09-25 22:45:39
Commit f440be3583532d0d0102703e9e60ea9c5d1bdbc5
Merge request 13695
Git repository Git repository
Build log Build log
Contents Contents of package