diff options
| author | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2025-03-22 16:55:51 +0900 |
|---|---|---|
| committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2025-03-22 22:52:25 +0900 |
| commit | aa0bb0990ef6a7e63dcabadb2ec02bacf264573d (patch) | |
| tree | 3273684c887393cdc84fa90edf7c55c324c886e3 /gnu/system | |
| parent | a1cbc4e0ab6395e6405f511baad85fe2c9b6b4cc (diff) | |
gnu: yices: Use gexp variables.
* gnu/packages/maths.scm (yices): [phases] <fix-build-files>: Use gexp
variable.
Change-Id: If40f787e3c6535edd14aec833de8beff79213d95
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions