diff options
| author | Danny Milosavljevic <dannym@scratchpost.org> | 2018-11-26 19:31:15 +0100 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2018-11-26 19:44:29 +0100 |
| commit | de42429040d1754301fe76e5de53deda3e973027 (patch) | |
| tree | b895571784f56a833131ab6798534d3efe20e414 /gnu/services | |
| parent | 6cbb2c87216e37f4d11a36d3d95d6c5fa5dc9216 (diff) | |
| download | patches-de42429040d1754301fe76e5de53deda3e973027.tar patches-de42429040d1754301fe76e5de53deda3e973027.tar.gz | |
gnu: mono: Fix build with glibc 2.28.
* gnu/packages/mono.scm (mono)[arguments]<#:phases>[fix-includes]: New phase.
Diffstat (limited to 'gnu/services')
0 files changed, 0 insertions, 0 deletions