klee

Package information

State
untracked

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

Groups

This package is not part of any global group.

Most recent builds

failed
2023-01-20 04:56:07
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
2023-01-14 07:17:17
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
2023-01-08 15:41:15
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
2022-12-14 00:40:37
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
2022-12-11 12:05:16
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
2022-12-06 02:45:03
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
2022-12-04 17:30:39
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
2022-11-26 12:21:54
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