diff options
author | Marius Bakke <[email protected]> | 2022-07-26 11:07:17 +0200 |
---|---|---|
committer | Marius Bakke <[email protected]> | 2022-07-27 12:52:36 +0200 |
commit | 822edbf08b754dfd1c9f25500c4e9490b99276f4 (patch) | |
tree | c943672209b61db3a27a8180402966fa67ca188d /gnu/packages/patches/eigen-remove-openmp-error-counting.patch | |
parent | e62dd8e7622d5ddd8da6fb024f58c09b0aa01ac1 (diff) |
gnu: rust-gzip-header: Add 1.0.0.
* gnu/packages/crates-io.scm (rust-gzip-header-1): New variable.
(rust-gzip-header-0.3): Inherit from it.
Diffstat (limited to 'gnu/packages/patches/eigen-remove-openmp-error-counting.patch')
0 files changed, 0 insertions, 0 deletions