Package details
Package raspberrypi-dev
Version 0.20180511-r0
Description Raspberry Pi support tools (development files)
Project https://github.com/raspberrypi/userland
License BSD
Branch v3.8
Repository main
Architecture aarch64
Size 376.38 kB
Installed size 2.23 MB
Origin raspberrypi
Maintainer Timo Teräs
Build time 2018-06-25 15:15:07
Commit dce52d389f9ef1dde80d38f6e8bf4600c40e065f
Git repository Git repository
Build log Build log
Contents Contents of package