diff options
| author | Rostislav Svoboda <rostislav.svoboda@gmail.com> | 2022-04-07 12:41:50 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2022-05-07 11:22:19 +0200 |
| commit | 02182c623e0b19f23701d9feaae096e5a1bd5823 (patch) | |
| tree | 464140b19c720e6ec8fdef4523a949fcb248d623 /gnu/packages/patches/eigen-remove-openmp-error-counting.patch | |
| parent | 513f54dc5d64e82075be33e9cffa5cfdef1b5377 (diff) | |
gnu: openjdk17: Update to 17.0.2
* gnu/packages/java.scm (openjdk17): Update to 17.0.2.
Diffstat (limited to 'gnu/packages/patches/eigen-remove-openmp-error-counting.patch')
0 files changed, 0 insertions, 0 deletions