Package details
| Package | raspberrypi-dev |
|---|---|
| Version | 0.20220616-r0 |
| Description | Raspberry Pi support tools (development files) |
| Project | https://github.com/raspberrypi/userland |
| License | BSD-3-Clause |
| Branch | v3.17 |
| Repository | main |
| Architecture | armv7 |
| Size | 438.7KiB |
| Installed size | 2.6MiB |
| Origin | raspberrypi |
| Maintainer | Timo Teräs |
| Build time | 2022-10-19 11:19:07 |
| Commit | 604540b0ca3a316b18f770d172112112de65082a | Merge request | 40402 |
| Git repository | Git repository |
| Build log | Build log |
| Contents | Contents of package |