Package details
Package | gnome-menus-dev |
---|---|
Version | 3.36.0-r0 |
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.15 |
Repository | community |
Architecture | aarch64 |
Size | 4.0KiB |
Installed size | 36.0KiB |
Origin | gnome-menus |
Maintainer | Rasmus Thomsen |
Build time | 2020-03-11 18:36:55 |
Commit | e759e0c898dbd4857ae600bc2cf436347917d3a9 | Merge request | N/A |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |