diff options
| author | Zhu Zihao <all_but_last@163.com> | 2022-06-20 20:09:20 +0800 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-07-04 12:29:04 +0200 |
| commit | 3366be5db0d744625accc80ebc8d155bf1ddece8 (patch) | |
| tree | 0ac4a05e623afa6a1da00cc826ebbff5b6c701fd /config-daemon.ac | |
| parent | 7cddd130df4c7e872ff05693b24643302adcbbc7 (diff) | |
| download | guix-3366be5db0d744625accc80ebc8d155bf1ddece8.tar.gz | |
gnu: z3: Use G-expressions.
* gnu/packages/maths.scm (z3)[arguments]: Use G-expressions. [native-inputs]: Use label-less style. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'config-daemon.ac')
0 files changed, 0 insertions, 0 deletions