|
| From: | guix-commits |
| Subject: | branch wip-gmp deleted (was 5a9606d29a) |
| Date: | Thu, 17 Aug 2023 10:32:59 -0400 (EDT) |
andreas pushed a change to branch wip-gmp
in repository guix.
was 5a9606d29a gnu: gmp: Update to 6.3.0.
This change permanently discards the following revisions:
discard 5a9606d29a gnu: gmp: Update to 6.3.0.
| [Prev in Thread] | Current Thread | [Next in Thread] |