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

ProofGeneral: drop noarch

Browse source
This commit is contained in:
Đoàn Trần Công Danh 2020-10-05 07:27:03 +07:00
parent 7d6d289c5d
commit 62f30c53ce
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
srcpkgs/ProofGeneral/template
View file

@ -1,15 +1,14 @@
# Template file for 'ProofGeneral'
pkgname=ProofGeneral
version=4.4
revision=2
revision=3
wrksrc="PG-${version}"
archs=noarch
build_style=gnu-makefile
hostmakedepends="emacs which"
depends="emacs perl"
short_desc="Generic Emacs front-end for proof assistants"
maintainer="Leah Neukirchen <leah@vuxu.org>"
license="GPL-2"
license="GPL-2.0-only"
homepage="https://proofgeneral.github.io/"
distfiles="https://github.com/ProofGeneral/PG/archive/v${version}.tar.gz"
checksum=1ba236d81768a87afa0287f49d4b2223097bc61d180468cbd997d46ab6132e7e