diff options
| author | Eric Bavier <bavier@posteo.net> | 2022-04-18 22:40:10 -0500 |
|---|---|---|
| committer | Eric Bavier <bavier@posteo.net> | 2022-04-20 08:35:48 -0500 |
| commit | ae6cd99573433cd6067e0f9bafec23306376e690 (patch) | |
| tree | e1babc5396168b1893857f0ef15393d7f1950077 /etc/release-manifest.scm | |
| parent | b2a66e107170dab414f3f1e9dd0fe1c354b6e514 (diff) | |
gnu: idris: Use cc-for-target.
* gnu/packages/idris.scm (idris)[arguments]: Use cc-for-target in place of
"gcc".
Diffstat (limited to 'etc/release-manifest.scm')
0 files changed, 0 insertions, 0 deletions