Koschei - solidity

Package information

State

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

1704

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

cvc5

1.2.1-4.fc43

1.2.1-5.fc43

libcurl

8.13.0-1.fc43

8.14.0~rc1-1.fc43

cvc5-libs

1.2.1-4.fc43

1.2.1-5.fc43

glibc

2.41.9000-11.fc43

2.41.9000-12.fc43

cryptominisat-libs

5.12.1-1.fc43

5.13.0-1.fc43

glibc-gconv-extra

2.41.9000-11.fc43

2.41.9000-12.fc43

glibc-common

2.41.9000-11.fc43

2.41.9000-12.fc43

cadical-libs

1:2.0.0-4.fc42

1:2.1.3-1.fc43

glibc-minimal-langpack

2.41.9000-11.fc43

2.41.9000-12.fc43

glibc-devel

2.41.9000-11.fc43

2.41.9000-12.fc43

curl

8.13.0-1.fc43

8.14.0~rc1-1.fc43

breakid

3.1.2-7.fc43

3.1.3-1.fc43

kernel-headers

6.15.0-0.rc2.22.fc43

6.15.0-0.rc4.35.fc43

fedora-repos-rawhide

43-0.1

43-0.2

python-pip-wheel

25.0.1-3.fc43

25.1.1-1.fc43

fedora-gpg-keys

43-0.1

43-0.2

fedora-repos

43-0.1

43-0.2

show 7 more collapse

State overview

Groups

This package is not part of any global group.

Historical builds

2025-03-19 01:22:09

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:08: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-6562072

2025-03-18 22:56:33

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:52: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-6562049

2025-03-18 20:55:27

Package resolution failed

No package found for: cmake >= 3.0
Problem: conflicting requests
- nothing provides cmake-filesystem needed by json-devel-3.11.3-3.fc42.x86_64 from primary-f43-build-6562044
Problem: conflicting requests
- nothing provides cmake-filesystem(x86-64) needed by fmt-devel-11.1.4-1.fc43.x86_64 from primary-f43-build-6562044
Problem: conflicting requests
- nothing provides cmake-filesystem(x86-64) needed by z3-devel-4.14.1-1.fc43.x86_64 from primary-f43-build-6562044
Problem: conflicting requests
- nothing provides cmake-filesystem(x86-64) needed by range-v3-devel-0.12.0-8.fc42.x86_64 from primary-f43-build-6562044

2025-03-18 20:51:23

Package resolution failed

No package found for: cmake >= 3.0
Problem: conflicting requests
- nothing provides cmake-filesystem(x86-64) needed by range-v3-devel-0.12.0-8.fc42.x86_64 from primary-f43-build-6562042
Problem: conflicting requests
- nothing provides cmake-filesystem needed by json-devel-3.11.3-3.fc42.x86_64 from primary-f43-build-6562042
Problem: conflicting requests
- nothing provides cmake-filesystem(x86-64) needed by z3-devel-4.14.1-1.fc43.x86_64 from primary-f43-build-6562042
Problem: conflicting requests
- nothing provides cmake-filesystem(x86-64) needed by fmt-devel-11.1.4-1.fc43.x86_64 from primary-f43-build-6562042

130380517

2025-03-17 05:22:16

aarch64

├130380610 ( build.log | root.log )

ppc64le

├130380609 ( build.log | root.log )

x86_64

└130380608 ( build.log | root.log )

cmake

4.0.0~rc3-3.fc43

4.0.0~rc4-1.fc43

gcc-c++

15.0.1-0.9.fc43

15.0.1-0.10.fc43

libgcc

15.0.1-0.9.fc43

15.0.1-0.10.fc43

libstdc++

15.0.1-0.9.fc43

15.0.1-0.10.fc43

cmake-data

4.0.0~rc3-3.fc43

4.0.0~rc4-1.fc43

libstdc++-devel

15.0.1-0.9.fc43

15.0.1-0.10.fc43

libquadmath-devel

15.0.1-0.9.fc43

15.0.1-0.10.fc43

expat

2.6.4-2.fc42

2.7.0-1.fc43

cmake-filesystem

4.0.0~rc3-3.fc43

4.0.0~rc4-1.fc43

gcc

15.0.1-0.9.fc43

15.0.1-0.10.fc43

cmake-rpm-macros

4.0.0~rc3-3.fc43

4.0.0~rc4-1.fc43

libcurl

8.13.0~rc1-1.fc43

8.13.0~rc1-2.fc43

cpp

15.0.1-0.9.fc43

15.0.1-0.10.fc43

python3-numpy

1:2.2.3-1.fc43

1:2.2.4-1.fc43

libxml2

2.12.9-2.fc42

2.12.10-1.fc43

openssl-libs

1:3.2.4-2.fc43

1:3.2.4-3.fc43

libquadmath

15.0.1-0.9.fc43

15.0.1-0.10.fc43

libgomp

15.0.1-0.9.fc43

15.0.1-0.10.fc43

vim-filesystem

2:9.1.1179-1.fc43

2:9.1.1202-1.fc43

curl

8.13.0~rc1-1.fc43

8.13.0~rc1-2.fc43

python3-numpy-f2py

1:2.2.3-1.fc43

1:2.2.4-1.fc43

alternatives

1.31-3.fc42

1.32-1.fc43

libgfortran

15.0.1-0.9.fc43

15.0.1-0.10.fc43

gcc-plugin-annobin

15.0.1-0.9.fc43

15.0.1-0.10.fc43

efi-srpm-macros

6-2.fc42

6-3.fc43

show 15 more collapse

130184800

2025-03-12 17:31:25

aarch64

├130184890 ( build.log | root.log )

ppc64le

├130184889 ( build.log | root.log )

x86_64

└130184888 ( build.log | root.log )

z3-devel

4.14.0-1.fc43

4.14.1-1.fc43

cmake

4.0.0~rc2-3.fc43

4.0.0~rc3-3.fc43

libcurl

8.12.1-1.fc43

8.13.0~rc1-1.fc43

libarchive

3.7.7-3.fc43

3.7.7-4.fc43

cmake-rpm-macros

4.0.0~rc2-3.fc43

4.0.0~rc3-3.fc43

z3-libs

4.14.0-1.fc43

4.14.1-1.fc43

cmake-data

4.0.0~rc2-3.fc43

4.0.0~rc3-3.fc43

cmake-filesystem

4.0.0~rc2-3.fc43

4.0.0~rc3-3.fc43

vim-filesystem

2:9.1.1122-1.fc43

2:9.1.1179-1.fc43

libidn2

2.3.7-3.fc42

2.3.8-1.fc43

kernel-headers

6.14.0-0.rc5.43.fc43

6.14.0-0.rc6.49.fc43

curl

8.12.1-1.fc43

8.13.0~rc1-1.fc43

setup

2.15.0-12.fc43

2.15.0-14.fc43

crypto-policies

20250214-1.gitff7551b....

20250305-1.gita35b0fa....

libffi

3.4.7-1.fc43

3.4.7-2.fc43

fedora-release-identity-basic

43-0.6

43-0.7

systemd-libs

257.3-7.fc43

257.4-3.fc43

systemd-standalone-sysusers

257.3-7.fc43

257.4-3.fc43

tree-sitter-srpm-macros

0.1.0-10.fc43

0.2.0-1.fc43

readline

8.2-12.fc42

8.2-13.fc43

fedora-release-common

43-0.6

43-0.7

fedora-release

43-0.6

43-0.7

show 12 more collapse

Previous history