diff options
| author | Guillaume Le Vaillant <[email protected]> | 2021-09-16 10:18:19 +0200 |
|---|---|---|
| committer | Guillaume Le Vaillant <[email protected]> | 2021-09-16 10:18:19 +0200 |
| commit | bad54e6384cce74ad5ed41ede6bcb2822aa6bdc8 (patch) | |
| tree | b8856dea6ebba7a3708701bfbc1bfd2ac5258e43 /gnu/packages/coq.scm | |
| parent | c9f7770eeec3a7b493dcbf45c96a4528f2635604 (diff) | |
gnu: aris: Fix build.
* gnu/packages/maths.scm (aris)[arguments]: Pass '-fcommon' to CFLAGS.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions