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 /doc | |
| parent | 9eabf4983f52260fe2f81104d4664a91feed2624 (diff) | |
| download | guix-44ed008ac127da297f28643df072f908e133b686.tar.gz | |
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 'doc')
0 files changed, 0 insertions, 0 deletions