Group :: Ciências/Matemática
RPM: picosat
Main Changelog Spec Patches Sources Download Gear Bugs e FR Repocop
12 julho 2020 Michael Shigorin <mike at altlinux.org> 965-alt3
- fixed build on non-x86 64-bit arches
- Stopped build for Python2.
- Build new version.
- (NMU) Rebuilt with python-3.6.4.
- (NMU) rebuild with python3-3.5 & rpm-build-python3-0.1.10
(for ABI dependence and new python3(*) reqs)
- Applied patch from https://github.com/pysmt/pysmt/tree/master/patches
for Python bindings
- Initial build for Sisyphus