diff options
| author | Xinglu Chen <public@yoctocell.xyz> | 2021-06-10 15:30:06 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2021-06-13 23:57:45 +0200 |
| commit | 44ed008ac127da297f28643df072f908e133b686 (patch) | |
| tree | 0f1590610f9884912e752ce9e5b71a48d19aa1c8 /tests/openpgp.scm | |
| parent | 9eabf4983f52260fe2f81104d4664a91feed2624 (diff) | |
gnu: proof-general: Update to 4.4-0.bc86736.
There hasn’t been a new release since 2016 and there has been more than 450
new commits since then.
* gnu/packages/coq.scm (proof-general): Update to 4.4-0.bc86736.
[arguments]<#:make-flags>: Set ELISP_START.
<#:phases>: Remove ‘coq-prog’ procedure which was unused; don’t run
‘substitute*’ on bin/proofgeneral since it no longer exists. Don’t end phases
with #t, this will be unnecessary once the ‘core-updates’ branch is merged.
[home-page]: Remove trailing whitesapce.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'tests/openpgp.scm')
0 files changed, 0 insertions, 0 deletions