diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2019-10-15 18:18:38 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-10-15 18:18:38 +0200 |
| commit | a1d1703a1dc6bfcd10f48fe707ee7ac65300a37d (patch) | |
| tree | 57747826d4296aeda30e5506e6f076a1b51fa451 /gnu/packages/patches/mingw-w64-6.0.0-gcc.patch | |
| parent | c43626131222b7b62d8cb6f5fe90c072d440df26 (diff) | |
gnu: orc: Fix broken header file.
* gnu/packages/patches/orc-typedef-enum.patch: New file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
* gnu/packages/gstreamer.scm (orc)[source](patches): New field.
Diffstat (limited to 'gnu/packages/patches/mingw-w64-6.0.0-gcc.patch')
0 files changed, 0 insertions, 0 deletions