Build details

Build information

State
complete
Name
python-pysmt
Epoch
None
Version
0.9.5
Release
9.fc42
Started
2025-01-18 18:10:47
Finished
2025-01-18 18:16:20
Koji repo
6543994

Koji tasks

complete
128090062
aarch64
└128090196 closed

Build logs

aarch64
build.log | root.log

Dependency changes from previous build

No dependency changes
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues