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.18 |
Repository | community |
Architecture | armv7 |
Size | 8.1KiB |
Installed size | 88.0KiB |
Origin | gnome-menus |
Maintainer | Rasmus Thomsen |
Build time | 2022-12-11 15:24:13 |
Commit | 75e3588620ea5cee5e80b0ac124e0c85de718fcd | Merge request | N/A |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |