PRGNAM="gnome-menus" VERSION="3.13.3" HOMEPAGE="https://github.com/GNOME/gnome-menus" DOWNLOAD="https://github.com/GNOME/gnome-menus/archive/3.13.3/gnome-menus-3.13.3.tar.gz" MD5SUM="80b086917cd7eeeb39815aa1325a609c" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="gnome-common" MAINTAINER="Edinaldo P. Silva" EMAIL="edps.mundognu@gmail.com"