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.15 |
Repository | main |
Architecture | armhf |
Size | 439.5KiB |
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 |