wallenstein/void-packages
1
0
Fork 0
mirror of https://github.com/void-linux/void-packages.git synced 2025-07-26 23:42:57 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

ProofGeneral: fix warning if compiled with a different emacs version

Browse source 
(The current build in the repo was compiled with emacs 25.1)
This commit is contained in:
copyleftie 2017-12-30 23:44:45 -05:00 • committed by Leаh Neukirchen
parent dba40d8339
commit 372d51a4be
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
srcpkgs/ProofGeneral/template
View file

@ -1,7 +1,7 @@
# Template file for 'ProofGeneral' # Template file for 'ProofGeneral'
pkgname=ProofGeneral pkgname=ProofGeneral
version=4.4 version=4.4
revision=1 revision=2
wrksrc="PG-${version}" wrksrc="PG-${version}"
noarch=yes noarch=yes
build_style=gnu-makefile build_style=gnu-makefile