diff options
| author |   Fabio Rossi <rossi.f@inwind.it> | 2021-12-01 19:04:37 +0100 |
|---|---|---|
| committer |   Sam James <sam@gentoo.org> | 2021-12-01 21:25:12 +0000 |
| commit | 2c0aea17b396af99413234f7a84607817f31dbd3 (patch) | |
| tree | 52dcda75cae6b22642fd8cd6082153ce0bea485e /media-sound/audacious | |
| parent | app-admin/ansible-lint: add 5.3.0 (diff) | |
| download | gentoo-2c0aea17b396af99413234f7a84607817f31dbd3.tar.gz gentoo-2c0aea17b396af99413234f7a84607817f31dbd3.tar.bz2 gentoo-2c0aea17b396af99413234f7a84607817f31dbd3.zip | |
sci-mathematics/petsc: version bump to 3.16.0 and bugfix
The latest release is needed to backport the patch from upstream
to solve the issue of Gentoo bug #827185 (build issue with
USE="fftw -mpi").
Upstream fix is at https://gitlab.com/petsc/petsc/-/merge_requests/4604
Closes: https://bugs.gentoo.org/827185
Signed-off-by: Fabio Rossi <rossi.f@inwind.it>
Closes: https://github.com/gentoo/gentoo/pull/23136
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'media-sound/audacious')
0 files changed, 0 insertions, 0 deletions