diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-07-17 16:42:58 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-07-17 17:46:31 +0200 |
| commit | 12e87f74163af6027c3160b767e0c7f5ef5049c3 (patch) | |
| tree | c463efb244b9dba47ef76c1b97efc1f486d6ab79 /dev-libs/libnop | |
| parent | profiles/x86: Mask LLVM slots 15 and 16 on media-libs/mesa (diff) | |
| download | gentoo-12e87f74163af6027c3160b767e0c7f5ef5049c3.tar.gz gentoo-12e87f74163af6027c3160b767e0c7f5ef5049c3.tar.bz2 gentoo-12e87f74163af6027c3160b767e0c7f5ef5049c3.zip | |
sci-mathematics/alt-ergo: remove zarith pin; add ocplib-simplex-0.5 pin
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-libs/libnop')
0 files changed, 0 insertions, 0 deletions