diff options
author | Andrey Grozin <grozin@gentoo.org> | 2024-09-23 12:46:24 +0700 |
---|---|---|
committer | Andrey Grozin <grozin@gentoo.org> | 2024-09-23 12:46:53 +0700 |
commit | b4c23352bba4873512e5ec718a43557d91101d4a (patch) | |
tree | 7ae5d04233a45a38069dd3fb2f82cf996b3008dc /dev-ml/batteries | |
parent | media-libs/giflib: add doc BDEPEND (diff) | |
download | gentoo-b4c23352bba4873512e5ec718a43557d91101d4a.tar.gz gentoo-b4c23352bba4873512e5ec718a43557d91101d4a.tar.bz2 gentoo-b4c23352bba4873512e5ec718a43557d91101d4a.zip |
sci-mathematics/fricas: USE flag gmp did not work. Fixed.
Signed-off-by: Andrey Grozin <grozin@gentoo.org>
Diffstat (limited to 'dev-ml/batteries')
0 files changed, 0 insertions, 0 deletions