diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2017-09-12 21:12:46 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2017-09-13 08:55:47 +0300 |
| commit | ab53bdf01ce4ab36c2522eaa69f917ad2481e127 (patch) | |
| tree | ec5a5eece6f31307898d0d8d730c5fc0cfd04d4d /configure.ac | |
| parent | 2b8d4ce819529fe9b094a4aba058e607abc3a364 (diff) | |
| download | patches-ab53bdf01ce4ab36c2522eaa69f917ad2481e127.tar patches-ab53bdf01ce4ab36c2522eaa69f917ad2481e127.tar.gz | |
gnu: isl: Update to 0.18.
* gnu/packages/gcc.scm (isl): Update to 0.18.
(isl-0.11): New variable.
(gcc@4.8, cloog)[inputs]: Use isl-0.11.
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions