Package details
| Package | raspberrypi-dev |
|---|---|
| Version | 0.20200813-r1 |
| Description | Raspberry Pi support tools (development files) |
| Project | https://github.com/raspberrypi/userland |
| License | BSD-3-Clause |
| Branch | v3.16 |
| Repository | main |
| Architecture | armv7 |
| Size | 439.5KiB |
| Installed size | 2.6MiB |
| Origin | raspberrypi |
| Maintainer | Timo Teräs |
| Build time | 2021-12-28 18:49:17 |
| Commit | 13ae10f63abe011d0f806e10daa1dcf6cf7f86de | Merge request | 28826 |
| Git repository | Git repository |
| Build log | Build log |
| Issues | Open packaging issues |
| Contents | Contents of package |