Koschei - frama-c

Package information

State

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

848

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

alsa-lib

1.2.12-1.fc40

1.2.13-3.fc40

cups-libs

1:2.4.11-1.fc40

1:2.4.11-3.fc40

cups-filesystem

1:2.4.11-3.fc40

libsoup3

3.4.4-3.fc40

3.4.4-5.fc40

nss

3.105.0-1.fc40

3.106.0-1.fc40

nspr

4.35.0-30.fc40

4.36.0-1.fc40

nss-softokn

3.105.0-1.fc40

3.106.0-1.fc40

nss-softokn-freebl

3.105.0-1.fc40

3.106.0-1.fc40

nss-util

3.105.0-1.fc40

3.106.0-1.fc40

nss-sysinit

3.105.0-1.fc40

3.106.0-1.fc40

State overview

Groups

This package is not part of any global group.

Historical builds

2024-06-03 04:59:13

Package dependencies resolved successfuly

2024-06-03 04:53:02

Package resolution failed

Problem: package graphviz-9.0.0-11.fc40.x86_64 requires libgd.so.3()(64bit), but none of the providers can be installed
- package doxygen-2:1.10.0-3.fc40.x86_64 requires graphviz, but none of the providers can be installed
- package gd-2.3.3-16.fc40.x86_64 requires libavif.so.16()(64bit), but none of the providers can be installed
- conflicting requests
- nothing provides libSvtAv1Enc.so.1()(64bit) needed by libavif-1.0.4-1.fc40.x86_64
Problem: package graphviz-9.0.0-11.fc40.x86_64 requires libgd.so.3()(64bit), but none of the providers can be installed
- package gd-2.3.3-16.fc40.x86_64 requires libavif.so.16()(64bit), but none of the providers can be installed
- conflicting requests
- nothing provides libSvtAv1Enc.so.1()(64bit) needed by libavif-1.0.4-1.fc40.x86_64

2024-06-03 04:34:34

Package dependencies resolved successfuly

2024-06-03 03:32:36

Package resolution failed

Problem: package graphviz-9.0.0-11.fc40.x86_64 requires libgd.so.3()(64bit), but none of the providers can be installed
- package gd-2.3.3-16.fc40.x86_64 requires libavif.so.16()(64bit), but none of the providers can be installed
- conflicting requests
- nothing provides libSvtAv1Enc.so.1()(64bit) needed by libavif-1.0.4-1.fc40.x86_64
Problem: package graphviz-9.0.0-11.fc40.x86_64 requires libgd.so.3()(64bit), but none of the providers can be installed
- package doxygen-2:1.10.0-3.fc40.x86_64 requires graphviz, but none of the providers can be installed
- package gd-2.3.3-16.fc40.x86_64 requires libavif.so.16()(64bit), but none of the providers can be installed
- conflicting requests
- nothing provides libSvtAv1Enc.so.1()(64bit) needed by libavif-1.0.4-1.fc40.x86_64

118219221

2024-05-28 23:57:09

aarch64

├118219329 ( build.log | root.log )

x86_64

└118219330 ( build.log | root.log )

clang

18.1.1-1.fc40

18.1.6-3.fc40

texlive-base

11:20230311-81.fc40

11:20230311-82.fc40

mpfr

4.2.1-3.fc40

4.2.1-4.fc40

libstdc++

14.1.1-1.fc40

14.1.1-4.fc40

harfbuzz

8.3.0-5.fc40

8.4.0-1.fc40

gcc-c++

14.1.1-1.fc40

14.1.1-4.fc40

mpfr-devel

4.2.1-3.fc40

4.2.1-4.fc40

glib2

2.80.0-1.fc40

2.80.2-1.fc40

gtk3-devel

3.24.41-1.fc40

3.24.42-2.fc40

clang-libs

18.1.1-1.fc40

18.1.6-3.fc40

libstdc++-devel

14.1.1-1.fc40

14.1.1-4.fc40

gcc

14.1.1-1.fc40

14.1.1-4.fc40

libgccjit

14.1.1-1.fc40

14.1.1-4.fc40

llvm-libs

18.1.1-1.fc40

18.1.6-1.fc40

libxml2

2.12.6-1.fc40

2.12.7-1.fc40

gtk3

3.24.41-1.fc40

3.24.42-2.fc40

glibc

2.39-8.fc40

2.39-13.fc40

libgcc

14.1.1-1.fc40

14.1.1-4.fc40

libgomp

14.1.1-1.fc40

14.1.1-4.fc40

llvm

18.1.1-1.fc40

18.1.6-1.fc40

gtk-update-icon-cache

3.24.41-1.fc40

3.24.42-2.fc40

libxml2-devel

2.12.6-1.fc40

2.12.7-1.fc40

cpp

14.1.1-1.fc40

14.1.1-4.fc40

glibc-gconv-extra

2.39-8.fc40

2.39-13.fc40

rust-srpm-macros

26.2-1.fc40

26.3-1.fc40

glibc-minimal-langpack

2.39-8.fc40

2.39-13.fc40

shared-mime-info

2.3-4.fc40

2.3-5.fc40

libedit

3.1-50.20230828cv...

3.1-51.20240517cv...

harfbuzz-devel

8.3.0-5.fc40

8.4.0-1.fc40

glib2-devel

2.80.0-1.fc40

2.80.2-1.fc40

crypto-policies

20240201-2.git9f501f3....

20240510-1.gitd287a42....

rpm-sequoia

1.6.0-2.fc40

1.6.0-3.fc40

cups-libs

1:2.4.7-13.fc40

1:2.4.8-3.fc40

clang-resource-filesystem

18.1.1-1.fc40

18.1.6-3.fc40

glibc-devel

2.39-8.fc40

2.39-13.fc40

glibc-common

2.39-8.fc40

2.39-13.fc40

gcc-plugin-annobin

14.1.1-1.fc40

14.1.1-4.fc40

harfbuzz-icu

8.3.0-5.fc40

8.4.0-1.fc40

glibc-headers-x86

2.39-8.fc40

2.39-13.fc40

pam

1.6.0-2.fc40

1.6.1-1.fc40

rav1e-libs

0.7.1-1.fc40

0.7.1-2.fc40

pam-libs

1.6.0-2.fc40

1.6.1-1.fc40

libaom

3.8.2-1.fc40

3.9.0-1.fc40

mesa-libgbm

24.0.6-2.fc40

24.0.8-1.fc40

mesa-libGL

24.0.6-2.fc40

24.0.8-1.fc40

mesa-libglapi

24.0.6-2.fc40

24.0.8-1.fc40

libgfortran

14.1.1-1.fc40

14.1.1-4.fc40

highway

1.1.0-1.fc40

mesa-libEGL

24.0.6-2.fc40

24.0.8-1.fc40

libjxl

1:0.8.2-6.fc40

libquadmath

14.1.1-1.fc40

14.1.1-4.fc40

crypto-policies-scripts

20240201-2.git9f501f3....

20240510-1.gitd287a42....

show 42 more collapse

2024-05-28 03:53:55

Package dependencies resolved successfuly