z3

Package information

State
ok

Scheduler parameters

Tracked by Koschei
True
Current priority
1737
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

python3-setuptools
74.1.3-5.fc42
76.1.0-1.fc43
1
glibc
2.41.9000-2.fc43
2.41.9000-6.fc43
2
libcurl
8.13.0~rc2-1.fc43
8.13.0~rc3-1.fc43
2
openldap
2.6.9-3.fc42
2.6.9-5.fc43
3
glibc-devel
2.41.9000-2.fc43
2.41.9000-6.fc43
3
glibc-gconv-extra
2.41.9000-2.fc43
2.41.9000-6.fc43
3
openssl-libs
1:3.5.0-1.fc43
1:3.5.0-2.fc43
3
glibc-common
2.41.9000-2.fc43
2.41.9000-6.fc43
3
glibc-minimal-langpack
2.41.9000-2.fc43
2.41.9000-6.fc43
3
xz-libs
1:5.6.3-3.fc42
1:5.8.0-1.fc43
3
perl-Pod-Usage
4:2.03-512.fc42
4:2.04-1.fc43
3
curl
8.13.0~rc2-1.fc43
8.13.0~rc3-1.fc43
4
xz
1:5.6.3-3.fc42
1:5.8.0-1.fc43
4
diffutils
3.10-9.fc42
3.11-3.fc43
4
qt6-srpm-macros
6.8.2-2.fc43
6.9.0~rc-1.fc43
B
go-srpm-macros
3.6.0-6.fc42
3.6.0-7.fc43
B
libusb1
1.0.27-9.fc43
1.0.28-2.fc43
B
perl-Net-SSLeay
1.94-8.fc42
1.94-9.fc43
B
gnupg2
2.4.7-2.fc42
2.4.7-3.fc43
B

Most recent builds

vim-filesystem
2:9.1.1202-1.fc43
2:9.1.1227-1.fc43
2
mpfr
4.2.1-6.fc42
4.2.2-1.fc43
2
pyproject-rpm-macros
1.17.0-1.fc43
1.18.1-1.fc43
2
python3-rpm-macros
3.13-4.fc42
3.13-5.fc43
2
libgs
10.04.0-2.fc43
10.05.0-1.fc43
2
harfbuzz
10.4.0-1.fc43
11.0.0-1.fc43
2
python-rpm-macros
3.13-4.fc42
3.13-5.fc43
2
python-srpm-macros
3.13-4.fc42
3.13-5.fc43
3
openssl-libs
1:3.2.4-3.fc43
1:3.5.0-1.fc43
3
python-pip-wheel
24.3.1-2.fc42
25.0.1-3.fc43
3
pyproject-srpm-macros
1.17.0-1.fc43
1.18.1-1.fc43
3
setup
2.15.0-14.fc43
2.15.0-23.fc43
4
kernel-headers
6.14.0-0.rc7.56.fc43
6.14.0-63.fc43
4
crypto-policies
20250305-1.gita35b0fa....
20250324-1.git3714354....
4
shadow-utils
2:4.17.0-4.fc42
2:4.17.4-1.fc43
4
fedora-release-common
43-0.7
43-0.8
B
fedora-release
43-0.7
43-0.8
B
tpm2-tss
4.1.3-6.fc42
4.1.3-7.fc43
B
libusb1
1.0.27-8.fc42
1.0.27-9.fc43
B
fedora-release-identity-basic
43-0.7
43-0.8
B
cmake
4.0.0~rc4-1.fc43
3.31.6-2.fc43
1
libcurl
8.13.0~rc1-2.fc43
8.13.0~rc2-1.fc43
2
cmake-rpm-macros
4.0.0~rc4-1.fc43
3.31.6-2.fc43
2
cmake-data
4.0.0~rc4-1.fc43
3.31.6-2.fc43
2
pango
1.56.2-1.fc43
1.56.3-1.fc43
2
cmake-filesystem
4.0.0~rc4-1.fc43
3.31.6-2.fc43
2
kernel-headers
6.14.0-0.rc6.49.fc43
6.14.0-0.rc7.56.fc43
4
curl
8.13.0~rc1-2.fc43
8.13.0~rc2-1.fc43
4
annobin-plugin-gcc
12.92-1.fc43
12.93-1.fc43
B
annobin-docs
12.92-1.fc43
12.93-1.fc43
B
qt5-srpm-macros
5.15.15-1.fc42
5.15.16-1.fc43
B
2025-03-19 02:23:47
Package dependencies resolved successfuly
2025-03-19 01:23:02
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libjsoncpp.so.25()(64bit) needed by cmake-3.31.6-1.fc43.x86_64 from primary-f43-build-6562089
2025-03-19 00:09:13
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libjsoncpp.so.25()(64bit) needed by cmake-3.31.6-1.fc43.x86_64 from primary-f43-build-6562072
2025-03-18 22:57:19
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libjsoncpp.so.25()(64bit) needed by cmake-3.31.6-1.fc43.x86_64 from primary-f43-build-6562060
2025-03-18 21:53:10
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libjsoncpp.so.25()(64bit) needed by cmake-3.31.6-1.fc43.x86_64 from primary-f43-build-6562049
2025-03-18 20:52:23
Package resolution failed
  • No package found for: cmake
Previous history