wallenstein/void-packages
1
0
Fork 0
mirror of https://github.com/void-linux/void-packages.git synced 2025-06-08 16:13:50 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

ProofGeneral: update to 4.5.

Browse source
This commit is contained in:
Leah Neukirchen 2022-07-15 15:35:11 +02:00
parent f0fdad230c
commit 8e8b9e9ab9
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
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.5
revision=3 revision=1
wrksrc="PG-${version}" wrksrc="PG-${version}"
build_style=gnu-makefile build_style=gnu-makefile
hostmakedepends="emacs which" hostmakedepends="emacs which"
@ -11,7 +11,7 @@ maintainer="Leah Neukirchen <leah@vuxu.org>"
license="GPL-2.0-only" license="GPL-2.0-only"
homepage="https://proofgeneral.github.io/" homepage="https://proofgeneral.github.io/"
distfiles="https://github.com/ProofGeneral/PG/archive/v${version}.tar.gz" distfiles="https://github.com/ProofGeneral/PG/archive/v${version}.tar.gz"
checksum=1ba236d81768a87afa0287f49d4b2223097bc61d180468cbd997d46ab6132e7e checksum=b408ab943cfbfe4fcb0d3322f079f41e2a2d29b50cf0cc704fbb4d5e6c26e3a2
do_install() { do_install() {
make install DESTDIR=${DESTDIR} make install DESTDIR=${DESTDIR}