Package details
| Package | raspberrypi-dev |
|---|---|
| Version | 0.20190416-r1 |
| Description | Raspberry Pi support tools (development files) |
| Project | https://github.com/raspberrypi/userland |
| License | BSD |
| Branch | v3.12 |
| Repository | main |
| Architecture | armhf |
| Size | 437.1KiB |
| Installed size | 2.7MiB |
| Origin | raspberrypi |
| Maintainer | Timo Teräs |
| Build time | 2020-02-10 10:14:59 |
| Commit | 393c8a47d1d7df875c6d5462ffdd0ddb1bb1c064 | Merge request | N/A |
| Git repository | Git repository |
| Build log | Build log |
| Contents | Contents of package |