Morgan Smith 146a57e0d3 gnu: proof-general: Update to 4.5-2.d668946. ...

* gnu/packages/coq.scm (proof-general): Update to 4.5-2.d668946.
[phases] Remove unneeded phases and fix shebang fix.

Change-Id: I5ce2775cf18775737853d76b5a50d461aa9d14e6
Signed-off-by: Ludovic Courtès <ludo@gnu.org>

2024-12-23 20:45:32 +01:00

30 KiB

Raw Permalink Blame History

View Raw