diff options
| author | Dave Love <fx@gnu.org> | 2017-11-07 17:57:47 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-11-07 18:09:13 +0100 |
| commit | fd23d259cd0c13cd670aea7190a00a531da4c90d (patch) | |
| tree | f4da0255275d125d00b1fab7ab9d12e4aa82a09a /release.nix | |
| parent | 63b7fbe1bb3ff2b8a97793f91a0a6d7de8977a75 (diff) | |
| download | guix-fd23d259cd0c13cd670aea7190a00a531da4c90d.tar.gz | |
gnu: Add PSM.
* gnu/packages/linux.scm (psm): New variable. * gnu/packages/patches/psm-arch.patch, gnu/packages/patches/psm-ldflags.patch, gnu/packages/patches/psm-repro.patch: New files. * gnu/local.mk (dist_patch_DATA): Add them.
Diffstat (limited to 'release.nix')
0 files changed, 0 insertions, 0 deletions