fedora
Click here to visit the old openkoji buildsystem (Archived)

Information for build python-pysmt-0.9.5-5.fc41

ID17524
Package Namepython-pysmt
Links Fedora Package Sources | Fedora Official Koji Buildsystem | Rocks RISC-V Koji Buildsystem | Fedora RISC-V GitHub | Old Koji Buildsystem
Version0.9.5
Release5.fc41
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/python-pysmt.git#d24be09e2e4bdcd2bd41088e758b4eb4581c138e
SummarySolver-agnostic library for SMT Formulae manipulation and solving
DescriptionA library for SMT formulae manipulation and solving pySMT makes working with Satisfiability Modulo Theory simple. Among others, you can: * Define formulae in a solver independent way in a simple and inutitive way * Write ad-hoc simplifiers and operators * Dump your problems in the SMT-Lib format * Solve them using one of the native solvers * Wrapping any SMT-Lib complaint
Built bykojiadmin
State complete
Volume DEFAULT
StartedThu, 02 May 2024 20:44:55 CST
CompletedThu, 02 May 2024 20:54:50 CST
Taskbuild (f41, /rpms/python-pysmt.git:d24be09e2e4bdcd2bd41088e758b4eb4581c138e)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/python-pysmt.git#d24be09e2e4bdcd2bd41088e758b4eb4581c138e'}}
Tags
f41
RPMs
src
python-pysmt-0.9.5-5.fc41.src.rpm (info) (download)
noarch
python3-pysmt-0.9.5-5.fc41.noarch.rpm (info) (download)
Logs
noarch
hw_info.log
build.log
state.log
installed_pkgs.log
root.log
mock_output.log
noarch_rpmdiff.json
Changelog * Fri Jan 26 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.5-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Mon Jan 22 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.5-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jul 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.5-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Tue Jun 13 2023 Python Maint <python-maint@redhat.com> - 0.9.5-2 - Rebuilt for Python 3.12 * Sat Feb 11 2023 Fabian Affolter <mail@fabian-affolter.ch> - 0.9.5-1 - Update to latest upstream release 0.9.5 (closes rhbz#2157764) * Fri Jan 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.0-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.0-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Mon Jun 13 2022 Python Maint <python-maint@redhat.com> - 0.9.0-6 - Rebuilt for Python 3.11