diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2018-08-10 17:00:27 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2018-08-12 14:09:28 +0200 |
| commit | 25bd72678ae4048b0b84ee82bc5f2644367e9715 (patch) | |
| tree | 00faba0f9f6f0f7c2ea307703739117d1fd350a0 /gnu/packages/build-tools.scm | |
| parent | a3baaaa07a77ae03e891ed5b462d0836d8a2a66e (diff) | |
| download | guix-patches-25bd72678ae4048b0b84ee82bc5f2644367e9715.tar guix-patches-25bd72678ae4048b0b84ee82bc5f2644367e9715.tar.gz | |
gnu: gcc@5: Build with isl@0.18.
* gnu/packages/gcc.scm (gcc-5)[inputs]: Change ISL to ISL-0.18.
(isl-0.18): New public variable.
Diffstat (limited to 'gnu/packages/build-tools.scm')
0 files changed, 0 insertions, 0 deletions