Package details
Package raspberrypi-dev
Version 0.20190416-r0
Description Raspberry Pi support tools (development files)
Project https://github.com/raspberrypi/userland
License BSD
Branch v3.10
Repository main
Architecture armv7
Size 442.96 kB
Installed size 2.68 MB
Origin raspberrypi
Maintainer Timo Teräs
Build time 2019-05-07 07:52:48
Commit 6f78ce693e9250795a17f7ba8b89b2b57b399323
Git repository Git repository
Build log Build log
Contents Contents of package