Package details
Package | mauiman-dev |
---|---|
Version | 3.0.2-r0 |
Description | Maui Manager Library, Server and Library (development files) |
Project | https://mauikit.org/ |
License | GPL-2.0-or-later |
Branch | v3.20 |
Repository | community |
Architecture | x86 |
Size | 12.7KiB |
Installed size | 104.0KiB |
Origin | mauiman |
Maintainer | team/kde |
Build time | 2023-12-04 13:31:28 |
Commit | ccd1c2ef92afe95c8dfeeafced398572b40c1b39 | Merge request | 56607 |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |