diff options
| author | Maciej Barć <xgqt@gentoo.org> | 2023-04-18 14:59:27 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-04-18 15:55:09 +0200 |
| commit | adc145bc60a27b69c8d00f1eb7e44f33cd57be44 (patch) | |
| tree | f15e5980687820166e02f5e106c1e9f26964a4ae /dev-cpp | |
| parent | 5a968aff45a1fa12c11d60eb6f1be12dd7faa0ed (diff) | |
| download | gentoo-adc145bc60a27b69c8d00f1eb7e44f33cd57be44.tar.gz gentoo-adc145bc60a27b69c8d00f1eb7e44f33cd57be44.tar.bz2 gentoo-adc145bc60a27b69c8d00f1eb7e44f33cd57be44.zip | |
sci-mathematics/cryptominisat: fix build with GCC 13
Closes: https://bugs.gentoo.org/895116
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-cpp')
0 files changed, 0 insertions, 0 deletions