Package details
Package | mauiman-dev |
---|---|
Version | 1.0.1-r0 |
Description | Maui Manager Library, Server and Library (development files) |
Project | https://mauikit.org/ |
License | GPL-2.0-or-later |
Branch | v3.18 |
Repository | community |
Architecture | armv7 |
Size | 7.7KiB |
Installed size | 76.0KiB |
Origin | mauiman |
Maintainer | Bart Ribbers |
Build time | 2022-12-05 07:44:01 |
Commit | a8eba9c373e767a4ac0e43ae7d05d11ddf455b66 | Merge request | 42046 |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |