diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2019-02-11 19:49:27 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-02-11 19:49:27 +0100 |
| commit | 63d4ef52ebad4157817d56ccbe974da8fff81929 (patch) | |
| tree | 058d5a4bf953622d89d2d91d2c9054200bbe8cc2 /gnu/packages/idris.scm | |
| parent | f85ca6eda044c43bd5b9b54e756c02fd90c372f1 (diff) | |
| download | patches-63d4ef52ebad4157817d56ccbe974da8fff81929.tar patches-63d4ef52ebad4157817d56ccbe974da8fff81929.tar.gz | |
gnu: Remove GCC < 7 workarounds.
* gnu/packages/emulators.scm (dolphin-emu)[native-inputs]: Remove GCC-7.
[arguments]: Adjust accordingly.
* gnu/packages/games.scm (openrct2): Likewise.
* gnu/packages/linux.scm (make-linux-libre): Likewise.
* gnu/packages/mpd.scm (mpd): Likewise.
* gnu/packages/storage.scm (ceph): Likewise.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions