diff options
| author | Zhu Zihao <[email protected]> | 2022-06-20 20:09:20 +0800 |
|---|---|---|
| committer | Ludovic Courtès <[email protected]> | 2022-07-04 12:29:04 +0200 |
| commit | 3366be5db0d744625accc80ebc8d155bf1ddece8 (patch) | |
| tree | 0ac4a05e623afa6a1da00cc826ebbff5b6c701fd /gnu/packages/solidity.scm | |
| parent | 7cddd130df4c7e872ff05693b24643302adcbbc7 (diff) | |
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 <[email protected]>
Diffstat (limited to 'gnu/packages/solidity.scm')
0 files changed, 0 insertions, 0 deletions