klee

Package information

State
blocked
Packages
Bodhi
Dist-git
Bugzilla
Koji
File new FTBFS bug

Scheduler parameters

Package is currently ineligible for scheduling due to following reasons:
  • Package is not tracked
  • Package is blocked in koji
Tracked by Koschei
False
Current priority
0
Manual priority
0
Static priority
0
Arch override
None
Skip resolution
False

Configure scheduling

Tracked by Koschei
Manual priority
Skip resolution
Arch override
Cancel

Dependency changes since last build

No dependency changes

State overview

Groups

This package is not part of any global group.

Most recent builds

failed
96553316
2023-01-23 06:14:49
x86_64
└96553403 ( build.log | root.log )
z3-devel
4.12.0-1.fc38
4.12.1-1.fc38
1
stp-devel
2.3.3-23.fc38
2.3.3-24.fc38
1
stp
2.3.3-23.fc38
2.3.3-24.fc38
2
libcurl
7.87.0-2.fc38
7.87.0-4.fc38
2
z3-libs
4.12.0-1.fc38
4.12.1-1.fc38
2
curl
7.87.0-2.fc38
7.87.0-4.fc38
4
ca-certificates
2022.2.54-5.fc37
2023.2.60-2.fc38
4
systemd-libs
252.4-598.fc38
252.4-4.fc38
B
ghc-srpm-macros
1.5.0-7.fc37
1.6.0-1.fc38
B
fedora-release-common
38-0.15
38-0.18
B
fedora-release-identity-basic
38-0.15
38-0.18
B
fedora-release
38-0.15
38-0.18
B
Koschei version
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues