Package details
Package | gnome-menus-dev |
---|---|
Version | 3.36.0-r1 |
Description | Library for the Desktop Menu Specification (development files) |
Project | https://gitlab.gnome.org/GNOME/gnome-menus |
License | GPL-2.0-or-later AND LGPL-2.0-or-later |
Branch | v3.17 |
Repository | community |
Architecture | x86 |
Size | 8.0KiB |
Installed size | 88.0KiB |
Origin | gnome-menus |
Maintainer | Rasmus Thomsen |
Build time | 2022-12-11 15:24:32 |
Commit | 5d49a5df2581f9e9e62f95251106a51ef9728482 | Merge request | N/A |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |