diff options
| author | Morgan Smith <Morgan.J.Smith@outlook.com> | 2024-12-17 23:07:05 -0500 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2024-12-23 20:45:32 +0100 |
| commit | 146a57e0d362057ff51baf184d4339a93827b501 (patch) | |
| tree | 505012007bb8c1682521133c04f107bdc679f450 /nix/AUTHORS | |
| parent | 0eac0405402c967c524c508aa45497ebe1992fb3 (diff) | |
| download | guix-146a57e0d362057ff51baf184d4339a93827b501.tar.gz guix-146a57e0d362057ff51baf184d4339a93827b501.zip | |
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>
Diffstat (limited to 'nix/AUTHORS')
0 files changed, 0 insertions, 0 deletions