diff options
| author | Sharlatan Hellseher <sharlatanus@gmail.com> | 2025-07-19 00:18:20 +0100 |
|---|---|---|
| committer | Sharlatan Hellseher <sharlatanus@gmail.com> | 2025-07-20 21:09:36 +0100 |
| commit | 28893bd60de10e7b0b84fa7fbc2d04aa136155af (patch) | |
| tree | 31a28db8e145dececc68638952d84ef03acf88cd /gnu/packages/patches/eigen-remove-openmp-error-counting.patch | |
| parent | 34b16f9201ec27ddfcfe897d4dd19b431f628839 (diff) | |
gnu: Add argtable3.
* gnu/packages/popt.scm (argtable3): New variable.
Change-Id: I921c098442675089505f569a75daadc7f6764e57
Diffstat (limited to 'gnu/packages/patches/eigen-remove-openmp-error-counting.patch')
0 files changed, 0 insertions, 0 deletions