summaryrefslogtreecommitdiff
path: root/guix/build/asdf-build-system.scm
diff options
context:
space:
mode:
authorXinglu Chen <public@yoctocell.xyz>2021-06-10 15:30:06 +0200
committerLudovic Courtès <ludo@gnu.org>2021-06-13 23:57:45 +0200
commit44ed008ac127da297f28643df072f908e133b686 (patch)
tree0f1590610f9884912e752ce9e5b71a48d19aa1c8 /guix/build/asdf-build-system.scm
parent9eabf4983f52260fe2f81104d4664a91feed2624 (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 'guix/build/asdf-build-system.scm')
0 files changed, 0 insertions, 0 deletions