Package details
Package | mauiman-dev |
---|---|
Version | 1.0.0-r0 |
Description | Maui Manager Library, Server and Library (development files) |
Project | https://mauikit.org/ |
License | GPL-2.0-or-later |
Branch | v3.17 |
Repository | community |
Architecture | x86_64 |
Size | 7.7KiB |
Installed size | 76.0KiB |
Origin | mauiman |
Maintainer | Bart Ribbers |
Build time | 2022-09-13 07:50:29 |
Commit | 3f260897c4bca064ec28b07c79ab8c6059d2072a | Merge request | 39304 |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |