diff options
| author | Leo Famulari <leo@famulari.name> | 2017-03-08 00:40:37 -0500 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2017-03-08 03:52:03 -0500 |
| commit | da79e82b14b78dba7247cd39c370efd7887ed9fc (patch) | |
| tree | 6882c612df5999f64a1513b14b036815d4ddbd5b /gnu/packages/pulseaudio.scm | |
| parent | 9a91b00fd08e652d158bd6bf96bdcb045f7c72cb (diff) | |
| download | patches-da79e82b14b78dba7247cd39c370efd7887ed9fc.tar patches-da79e82b14b78dba7247cd39c370efd7887ed9fc.tar.gz | |
gnu: gtk+: Build GTK+ with its own xorg-server package.
This will allow us to update xorg-server directly on the master branch.
* gnu/packages/xorg.scm (xorg-server-1.19.2): New variable.
* gnu/packages/gtk.scm (gtk+) [native-inputs]: Use xorg-server-1.19.2 instead of
xorg-server.
[arguments]: Add xorg-server-1.19.2 to #:disallowed-references.
Diffstat (limited to 'gnu/packages/pulseaudio.scm')
0 files changed, 0 insertions, 0 deletions