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.12 |
Repository | community |
Architecture | armhf |
Size | 3.71 kB |
Installed size | 36 kB |
Origin | gnome-menus |
Maintainer | Rasmus Thomsen |
Build time | 2020-03-11 18:36:55 |
Commit | e759e0c898dbd4857ae600bc2cf436347917d3a9 |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |