klee

Package information

State
untracked
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
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
96401991
2023-01-20 04:56:07
x86_64
└96402204 ( build.log | root.log )
z3-devel
4.11.2-1.fc37
4.11.2-2.fc37
1
python3-lit
15.0.6-1.fc37
15.0.7-2.fc37
1
llvm-devel
15.0.6-1.fc37
15.0.7-1.fc37
1
cmake
3.25.1-2.fc37
3.25.2-1.fc37
1
clang
15.0.6-3.fc37
15.0.7-1.fc37
1
clang-libs
15.0.6-3.fc37
15.0.7-1.fc37
2
z3-libs
4.11.2-1.fc37
4.11.2-2.fc37
2
llvm-static
15.0.6-1.fc37
15.0.7-1.fc37
2
llvm
15.0.6-1.fc37
15.0.7-1.fc37
2
cmake-rpm-macros
3.25.1-2.fc37
3.25.2-1.fc37
2
cmake-data
3.25.1-2.fc37
3.25.2-1.fc37
2
cmake-filesystem
3.25.1-2.fc37
3.25.2-1.fc37
2
python3
3.11.1-1.fc37
3.11.1-3.fc37
2
glibc
2.36-8.fc37
2.36-9.fc37
2
llvm-libs
15.0.6-1.fc37
15.0.7-1.fc37
2
llvm-test
15.0.6-1.fc37
15.0.7-1.fc37
2
glibc-devel
2.36-8.fc37
2.36-9.fc37
2
glibc-gconv-extra
2.36-8.fc37
2.36-9.fc37
3
glibc-headers-x86
2.36-8.fc37
2.36-9.fc37
3
glibc-minimal-langpack
2.36-8.fc37
2.36-9.fc37
3
clang-resource-filesystem
15.0.6-3.fc37
15.0.7-1.fc37
3
glibc-common
2.36-8.fc37
2.36-9.fc37
3
python3-libs
3.11.1-1.fc37
3.11.1-3.fc37
3
failed
96115668
2023-01-14 07:17:17
x86_64
└96115713 ( build.log | root.log )
cmake
3.25.1-1.fc37
3.25.1-2.fc37
1
clang
15.0.6-2.fc37
15.0.6-3.fc37
1
clang-libs
15.0.6-2.fc37
15.0.6-3.fc37
2
cmake-rpm-macros
3.25.1-1.fc37
3.25.1-2.fc37
2
vim-filesystem
2:9.0.1054-1.fc37
2:9.0.1182-1.fc37
2
cmake-data
3.25.1-1.fc37
3.25.1-2.fc37
2
cmake-filesystem
3.25.1-1.fc37
3.25.1-2.fc37
2
kernel-headers
6.0.5-300.fc37
6.1.5-200.fc37
3
lz4-libs
1.9.3-5.fc37
1.9.4-1.fc37
3
clang-resource-filesystem
15.0.6-2.fc37
15.0.6-3.fc37
3
qt5-srpm-macros
5.15.7-1.fc37
5.15.8-1.fc37
B
rpmautospec-rpm-macros
0.3.0-1.fc37
0.3.1-1.fc37
B
gnat-srpm-macros
4-16.fc37
5-1.fc37
B
failed
95883278
2023-01-08 15:41:15
x86_64
└95883350 ( build.log | root.log )
clang
15.0.6-1.fc37
15.0.6-2.fc37
1
libarchive
3.6.1-2.fc37
3.6.1-3.fc37
2
libcurl
7.85.0-4.fc37
7.85.0-5.fc37
2
python3
3.11.0-1.fc37
3.11.1-1.fc37
2
emacs-filesystem
1:28.1-3.fc37
1:28.2-1.fc37
2
ncurses-libs
6.3-3.20220501.fc37
6.3-4.20220501.fc37
2
clang-libs
15.0.6-1.fc37
15.0.6-2.fc37
2
bash
5.2.9-3.fc37
5.2.15-1.fc37
2
vim-filesystem
2:9.0.1006-1.fc37
2:9.0.1054-1.fc37
2
elfutils-debuginfod-client
0.187-8.fc37
0.188-3.fc37
3
ncurses-base
6.3-3.20220501.fc37
6.3-4.20220501.fc37
3
coreutils
9.1-6.fc37
9.1-7.fc37
3
ncurses-devel
6.3-3.20220501.fc37
6.3-4.20220501.fc37
3
python3-libs
3.11.0-1.fc37
3.11.1-1.fc37
3
clang-resource-filesystem
15.0.6-1.fc37
15.0.6-2.fc37
3
ncurses-c++-libs
6.3-3.20220501.fc37
6.3-4.20220501.fc37
4
curl
7.85.0-4.fc37
7.85.0-5.fc37
4
coreutils-common
9.1-6.fc37
9.1-7.fc37
4
elfutils-libs
0.187-8.fc37
0.188-3.fc37
4
elfutils-libelf
0.187-8.fc37
0.188-3.fc37
4
libpwquality
1.4.4-11.fc37
1.4.5-1.fc37
B
lua-libs
5.4.4-4.fc37
5.4.4-7.fc37
B
elfutils
0.187-8.fc37
0.188-3.fc37
B
elfutils-default-yama-scope
0.187-8.fc37
0.188-3.fc37
B
shadow-utils
2:4.12.3-3.fc37
2:4.12.3-4.fc37
B
systemd-libs
251.8-586.fc37
251.10-588.fc37
B
failed
95332748
2022-12-14 00:40:37
x86_64
└95332828 ( build.log | root.log )
clang
15.0.4-1.fc37
15.0.6-1.fc37
1
llvm-devel
15.0.4-1.fc37
15.0.6-1.fc37
1
python3-lit
15.0.1-1.fc37
15.0.6-1.fc37
1
llvm-libs
15.0.4-1.fc37
15.0.6-1.fc37
2
llvm
15.0.4-1.fc37
15.0.6-1.fc37
2
llvm-test
15.0.4-1.fc37
15.0.6-1.fc37
2
llvm-static
15.0.4-1.fc37
15.0.6-1.fc37
2
clang-libs
15.0.4-1.fc37
15.0.6-1.fc37
2
clang-resource-filesystem
15.0.4-1.fc37
15.0.6-1.fc37
3
libxcrypt-devel
4.4.33-3.fc37
4.4.33-4.fc37
3
libxcrypt
4.4.33-3.fc37
4.4.33-4.fc37
3
tzdata
2022f-1.fc37
2022g-1.fc37
4
libtasn1
4.18.0-3.fc37
4.19.0-1.fc37
B
failed
95221724
2022-12-11 12:05:16
x86_64
└95221780 ( build.log | root.log )
vim-filesystem
2:9.0.963-1.fc37
2:9.0.1006-1.fc37
2
fedora-release
37-14
37-15
B
fedora-release-common
37-14
37-15
B
authselect
1.4.0-3.fc37
1.4.2-1.fc37
B
fedora-release-identity-basic
37-14
37-15
B
authselect-libs
1.4.0-3.fc37
1.4.2-1.fc37
B
failed
94993503
2022-12-06 02:45:03
x86_64
└94993545 ( build.log | root.log )
cmake
3.24.2-1.fc37
3.25.1-1.fc37
1
cmake-filesystem
3.24.2-1.fc37
3.25.1-1.fc37
2
cmake-rpm-macros
3.24.2-1.fc37
3.25.1-1.fc37
2
cmake-data
3.24.2-1.fc37
3.25.1-1.fc37
2
failed
94936091
2022-12-04 17:30:39
x86_64
└94936225 ( build.log | root.log )
vim-filesystem
2:9.0.915-1.fc37
2:9.0.963-1.fc37
2
libcurl
7.85.0-2.fc37
7.85.0-4.fc37
2
libxcrypt
4.4.33-1.fc37
4.4.33-3.fc37
3
libxcrypt-devel
4.4.33-1.fc37
4.4.33-3.fc37
3
curl
7.85.0-2.fc37
7.85.0-4.fc37
4
python-pip-wheel
22.2.2-2.fc37
22.2.2-3.fc37
4
failed
94561036
2022-11-26 12:21:54
x86_64
└94561066 ( build.log | root.log )
gcc-c++
12.2.1-2.fc37
12.2.1-4.fc37
1
gcc
12.2.1-2.fc37
12.2.1-4.fc37
1
cpp
12.2.1-2.fc37
12.2.1-4.fc37
2
glibc
2.36-7.fc37
2.36-8.fc37
2
glibc-devel
2.36-7.fc37
2.36-8.fc37
2
libstdc++
12.2.1-2.fc37
12.2.1-4.fc37
2
libgomp
12.2.1-2.fc37
12.2.1-4.fc37
2
libstdc++-devel
12.2.1-2.fc37
12.2.1-4.fc37
2
libgcc
12.2.1-2.fc37
12.2.1-4.fc37
2
vim-filesystem
2:9.0.828-1.fc37
2:9.0.915-1.fc37
2
glibc-common
2.36-7.fc37
2.36-8.fc37
3
libnghttp2
1.49.0-1.fc37
1.51.0-1.fc37
3
glibc-gconv-extra
2.36-7.fc37
2.36-8.fc37
3
glibc-minimal-langpack
2.36-7.fc37
2.36-8.fc37
3
glibc-headers-x86
2.36-7.fc37
2.36-8.fc37
3
gcc-plugin-annobin
12.2.1-2.fc37
12.2.1-4.fc37
B
Previous history
Koschei version
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues