Koschei - frama-c

Package information

State

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

859

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

python3-devel

3.12.5-2.fc40

3.12.6-1.fc40

python3-libs

3.12.5-2.fc40

3.12.6-1.fc40

python3

3.12.5-2.fc40

3.12.6-1.fc40

zlib-ng-compat

2.1.7-1.fc40

2.1.7-2.fc40

zlib-ng-compat-devel

2.1.7-1.fc40

2.1.7-2.fc40

State overview

Groups

This package is not part of any global group.

Historical builds

Real build: frama-c-29.0-1.fc40

118983078

2024-06-13 22:02:51

aarch64

├118983193 ( build.log | root.log )

s390x

├118983194 ( build.log | root.log )

x86_64

└118983192 ( build.log | root.log )

Dependencies for this build couldn't be processed

118648764

2024-06-06 11:55:27

aarch64

├118648841 ( build.log | root.log )

x86_64

└118648840 ( build.log | root.log )

alternatives

1.26-3.fc40

1.27-1.fc40

systemd-libs

255.6-1.fc40

255.7-1.fc40

perl-Getopt-Long

1:2.57-3.fc40

1:2.57-4.fc40

libarchive

3.7.2-3.fc40

3.7.2-4.fc40

llvm-libs

18.1.6-1.fc40

18.1.6-2.fc40

qt6-srpm-macros

6.7.0-1.fc40

6.7.1-1.fc40

qt5-srpm-macros

5.15.13-1.fc40

5.15.14-1.fc40

perl-Pod-Usage

4:2.03-503.fc40

4:2.03-504.fc40

libavif

1.0.4-1.fc40

1.0.4-3.fc40

llvm

18.1.6-1.fc40

18.1.6-2.fc40

adwaita-icon-theme

46.0-1.fc40

46.2-2.fc40

pam

1.6.1-1.fc40

1.6.1-3.fc40

nspr

4.35.0-22.fc40

4.35.0-23.fc40

xorg-x11-proto-devel

2024.1-1.fc40

2024.1-2.fc40

adwaita-icon-theme-legacy

46.2-1.fc40

adwaita-cursor-theme

46.0-1.fc40

46.2-2.fc40

pam-libs

1.6.1-1.fc40

1.6.1-3.fc40

gdb-minimal

14.2-1.fc40

14.2-2.fc40

nss

3.99.0-1.fc40

3.100.0-1.fc40

libsodium

1.0.19-4.fc40

1.0.20-1.fc40

svt-av1-libs

1.4.1-5.fc40

2.1.0-1.fc40

libeconf

0.6.2-1.fc40

0.6.2-2.fc40

fedora-gpg-keys

40-1

40-2

fedora-repos

40-1

40-2

nss-sysinit

3.99.0-1.fc40

3.100.0-1.fc40

nss-softokn

3.99.0-1.fc40

3.100.0-1.fc40

nss-softokn-freebl

3.99.0-1.fc40

3.100.0-1.fc40

shadow-utils

2:4.15.1-2.fc40

2:4.15.1-3.fc40

hwdata

0.382-1.fc40

0.383-1.fc40

tpm2-tss

4.1.0-1.fc40

4.1.3-1.fc40

nss-util

3.99.0-1.fc40

3.100.0-1.fc40

show 21 more collapse

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

glib2

2.80.0-1.fc40

2.80.2-1.fc40

harfbuzz

8.3.0-5.fc40

8.4.0-1.fc40

clang-libs

18.1.1-1.fc40

18.1.6-3.fc40

libgcc

14.1.1-1.fc40

14.1.1-4.fc40

texlive-base

11:20230311-81.fc40

11:20230311-82.fc40

mpfr-devel

4.2.1-3.fc40

4.2.1-4.fc40

gtk3-devel

3.24.41-1.fc40

3.24.42-2.fc40

libstdc++-devel

14.1.1-1.fc40

14.1.1-4.fc40

gcc

14.1.1-1.fc40

14.1.1-4.fc40

libxml2

2.12.6-1.fc40

2.12.7-1.fc40

gcc-c++

14.1.1-1.fc40

14.1.1-4.fc40

glibc

2.39-8.fc40

2.39-13.fc40

gtk3

3.24.41-1.fc40

3.24.42-2.fc40

llvm-libs

18.1.1-1.fc40

18.1.6-1.fc40

libstdc++

14.1.1-1.fc40

14.1.1-4.fc40

mpfr

4.2.1-3.fc40

4.2.1-4.fc40

libgccjit

14.1.1-1.fc40

14.1.1-4.fc40

cpp

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

libgomp

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

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

glibc-headers-x86

2.39-8.fc40

2.39-13.fc40

pam

1.6.0-2.fc40

1.6.1-1.fc40

highway

1.1.0-1.fc40

libjxl

1:0.8.2-6.fc40

crypto-policies-scripts

20240201-2.git9f501f3....

20240510-1.gitd287a42....

mesa-libgbm

24.0.6-2.fc40

24.0.8-1.fc40

libquadmath

14.1.1-1.fc40

14.1.1-4.fc40

mesa-libGL

24.0.6-2.fc40

24.0.8-1.fc40

libgfortran

14.1.1-1.fc40

14.1.1-4.fc40

mesa-libglapi

24.0.6-2.fc40

24.0.8-1.fc40

mesa-libEGL

24.0.6-2.fc40

24.0.8-1.fc40

show 42 more collapse

2024-05-28 03:53:55

Package dependencies resolved successfuly

Previous history