|
| From: | Ludovic Courtès |
| Subject: | bug#74931: [PATCH v2] gnu: proof-general: Update to 4.5-2.d668946. |
| Date: | Mon, 23 Dec 2024 19:11:10 +0100 |
| User-agent: | Gnus/5.13 (Gnus v5.13) |
Morgan Smith <Morgan.J.Smith@outlook.com> skribis: > * gnu/packages/coq.scm (proof-general): Update to 4.5-2.d668946. > [phases] Remove unneeded phases and fix shebang fix. > > Change-Id: I5ce2775cf18775737853d76b5a50d461aa9d14e6 Applied, thanks!
| [Prev in Thread] | Current Thread | [Next in Thread] |