jcgruenhage/void-packages
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

grub-customizer: update to 5.1.0.

Browse source
This commit is contained in:
cr6git 2018-10-14 05:25:18 +02:00 committed by GitHub
parent c6be073386
commit a6bed82bda
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
srcpkgs/grub-customizer/template
View file

@ -1,7 +1,7 @@
# Template file for 'grub-customizer'
pkgname=grub-customizer
version=5.0.8
revision=2
version=5.1.0
revision=1
build_style=cmake
hostmakedepends="pkg-config"
makedepends="gtkmm-devel libressl-devel libarchive-devel"
@ -10,10 +10,10 @@ conf_files="/etc/grub-customizer/grub.cfg"
only_for_archs="i686 i686-musl x86_64 x86_64-musl"
short_desc="Graphical grub2 settings manager"
maintainer="Jürgen Buchmüller <pullmoll@t-online.de>"
license="GPL-3"
license="GPL-3.0-or-later"
homepage="https://launchpad.net/grub-customizer/"
distfiles="https://launchpad.net/${pkgname}/${version%.*}/${version}/+download/${pkgname}_${version}.tar.gz"
checksum=b00a1650cdc3f0df668289c79beefd1349f9314d33330e38ca4afd1d29f4407c
checksum=532f793eea4c6ee6cde4bc987966fa1924946c1da5e3c7b4d4a97f2689661ee0
pre_configure() {
# Modify desktop file for Void Linux