Versions
v965 :: 0 :: gentoo
- Modified
- License
- MIT
- Keywords
- amd64 ~x86
Depending packages
sci-mathematics / boolector : Fast SMT solver for bit-vectors, arrays and uninterpreted functions
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
sci-mathematics/picosat: Stabilize 965 amd64, #892299
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
Revert "sci-mathematics/picosat: also install static libraries"
This reverts commit 7adf72129265d77da74162a048fb2f9ec9a4005a. Closes: https://bugs.gentoo.org/890700 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/picosat: also install static libraries
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/picosat: fix patch apply
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/picosat: new package; add 965
Signed-off-by: Maciej Barć <xgqt@gentoo.org>