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/patches | |
| 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/patches')
0 files changed, 0 insertions, 0 deletions