diff options
author | Ben Woodcroft <donttrustben@gmail.com> | 2017-07-17 18:53:08 +1000 |
---|---|---|
committer | Ben Woodcroft <donttrustben@gmail.com> | 2017-07-20 08:51:56 +1000 |
commit | ca8fb248de152a2f895d43cd1023b5a940215caa (patch) | |
tree | f1f314f168184f48092795f818f569866357052f /etc | |
parent | dc05f6523eb424bfeb4ddd2bf157232b4a72ca77 (diff) | |
download | guix-ca8fb248de152a2f895d43cd1023b5a940215caa.tar.gz |
gnu: Add patches missing from dist_patch_DATA.
Reported by Eric Bavier. * gnu/local.mk (dist_patch_DATA): Add gnu/packages/patches/hmmer-remove-cpu-specificity.patch, gnu/packages/patches/jacal-fix-texinfo.patch, gnu/packages/patches/python-pbr-fix-man-page-support.patch and gnu/packages/patches/vsearch-unbundle-cityhash.patch.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions