diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2022-07-01 10:33:51 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-07-01 12:10:28 +0200 |
| commit | ed19bc87e4234144a05040aae75aee9a57e71f9b (patch) | |
| tree | 84c2f53e43b2a32de5923f33b5723a3b81b42714 /gnu/packages/patches/mcrl2-fix-counterexample.patch | |
| parent | 9f530ef38a23caa1136f93cda45d396ce8fe1569 (diff) | |
| download | guix-ed19bc87e4234144a05040aae75aee9a57e71f9b.tar.gz | |
image: Avoid use of the deprecated 'gpt' option of genimage.
* gnu/system/image.scm (system-disk-image)[genimage-type-options]: Use 'partition-table-type' instead of the deprecated 'gpt' option.
Diffstat (limited to 'gnu/packages/patches/mcrl2-fix-counterexample.patch')
0 files changed, 0 insertions, 0 deletions