tomcharnock/void-packages
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

ProofGeneral: needs which in hostmakedepends

Browse Source
This commit is contained in:
Jürgen Buchmüller
2020-01-28 12:47:51 +01:00
parent bdc86a74da
commit b9182be1cd
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
srcpkgs/ProofGeneral/template
View File

@@ -5,7 +5,7 @@ revision=2
wrksrc="PG-${version}"
archs=noarch
build_style=gnu-makefile
hostmakedepends="emacs"
hostmakedepends="emacs which"
depends="emacs perl"
short_desc="Generic Emacs front-end for proof assistants"
maintainer="Leah Neukirchen <leah@vuxu.org>"