diff options
author | Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de> | 2015-07-02 15:53:47 +0200 |
---|---|---|
committer | Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de> | 2015-07-08 17:05:00 +0200 |
commit | 5bdda30b32676528bcfa0a169c30237fabaa4607 (patch) | |
tree | 9c68cdda62913370fabe62026c344f55466317cc /gnu/packages/gnome.scm | |
parent | 80ea7526dbe5cfea39597fe440d65f53e083eb6f (diff) |
gnu: samtools: Install headers.
* gnu/packages/bioinformatics.scm (samtools)[arguments]: Add phase
"install-headers" to install header files.
Diffstat (limited to 'gnu/packages/gnome.scm')
0 files changed, 0 insertions, 0 deletions