diff options
| author | Sughosha <[email protected]> | 2025-01-15 08:15:46 +0530 |
|---|---|---|
| committer | 宋文武 <[email protected]> | 2025-02-02 14:55:59 +0800 |
| commit | b64d3168af697ceb2a96e7e2c62bcf418b8a586a (patch) | |
| tree | 8ab6980b3957b53e43d98bea0605241089ea08af /gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch | |
| parent | b85db5febc090ab3667bc7b847b89852f6ede935 (diff) | |
gnu: Add fatresize.
* gnu/packages/disk.scm (fatresize): New variable.
Change-Id: Iebe5d4df7e3c8b4d41f72d5774577672c9c6ba9b
Signed-off-by: 宋文武 <[email protected]>
Diffstat (limited to 'gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch')
0 files changed, 0 insertions, 0 deletions