diff options
| author | Raghav Gururajan <raghavgururajan@disroot.org> | 2019-12-30 13:37:53 -0500 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2019-12-30 20:57:49 +0100 |
| commit | 304162651aa4785eefdf447b4a9ea771e2a4d06d (patch) | |
| tree | a713e83051b0a1afa1c1aaed9cf3540f09bac3cb /gnu | |
| parent | fc4eb87dc45b169e3912c73bbf60cb8ce76b7c7c (diff) | |
| download | patches-304162651aa4785eefdf447b4a9ea771e2a4d06d.tar patches-304162651aa4785eefdf447b4a9ea771e2a4d06d.tar.gz | |
gnu: Add gnome-menus.
* gnu/packages/gnome.scm (gnome-menus). New variable.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/gnome.scm | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index e0712bf99a..ad3e78c284 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -246,6 +246,29 @@ Desktop. It is designed to be as simple as possible and has some unique features to enable users to create their discs easily and quickly.") (license license:gpl2+))) +(define-public gnome-menus + (package + (name "gnome-menus") + (version "3.32.0") + (source (origin + (method url-fetch) + (uri (string-append "mirror://gnome/sources/gnome-menus/" + (version-major+minor version) "/" + name "-" version ".tar.xz")) + (sha256 + (base32 + "0x2blzqrapmbsbfzxjcdcpa3vkw9hq5k96h9kvjmy9kl415wcl68")))) + (build-system gnu-build-system) + (native-inputs + `(("gettext" ,gettext-minimal) + ("glib" ,glib) + ("pkg-config" ,pkg-config))) + (synopsis "Menu support for GNOME desktop") + (description "GNOME Menus contains the libgnome-menu library, the layout +configuration files for the GNOME menu, as well as a simple menu editor.") + (home-page "https://gitlab.gnome.org/GNOME/gnome-menus") + (license license:gpl2))) + (define-public deja-dup (package (name "deja-dup") |