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 | aarch64 |
| Size | 369.32 kB |
| Installed size | 2.24 MB |
| Origin | raspberrypi |
| Maintainer | Timo Teräs |
| Build time | 2020-02-10 10:14:59 |
| Commit | 393c8a47d1d7df875c6d5462ffdd0ddb1bb1c064 |
| Git repository | Git repository |
| Build log | Build log |
| Contents | Contents of package |