Koschei - frama-c

Package information

State

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

583

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

libavif

1.0.4-7.fc41

1.1.1-1.fc41

libyuv

0-0.55.20240704...

flexiblas-netlib

3.4.4-5.fc41

3.4.5-1.fc41

svt-av1-libs

2.1.0-4.fc41

2.3.0-1.fc41

flexiblas-openblas-openmp

3.4.4-5.fc41

3.4.5-1.fc41

flexiblas

3.4.4-5.fc41

3.4.5-1.fc41

cpuinfo

23.11.04-0.gitd6860c4....

State overview

Groups

This package is not part of any global group.

Historical builds

128099025

2025-01-18 20:44:11

aarch64

├128099194 ( build.log | root.log )

ppc64le

├128099192 ( build.log | root.log )

x86_64

└128099193 ( build.log | root.log )

emacs-nw

1:29.4-38.fc41

1:29.4-43.fc41

libgcc

14.2.1-3.fc41

14.2.1-7.fc41

libstdc++-devel

14.2.1-3.fc41

14.2.1-7.fc41

libstdc++

14.2.1-3.fc41

14.2.1-7.fc41

libgccjit

14.2.1-3.fc41

14.2.1-7.fc41

zlib-ng-compat

2.1.7-3.fc41

2.2.3-1.fc41

emacs-common

1:29.4-38.fc41

1:29.4-43.fc41

gcc

14.2.1-3.fc41

14.2.1-7.fc41

gcc-c++

14.2.1-3.fc41

14.2.1-7.fc41

libuuid

2.40.2-4.fc41

2.40.4-1.fc41

libgomp

14.2.1-3.fc41

14.2.1-7.fc41

libmount

2.40.2-4.fc41

2.40.4-1.fc41

libxcrypt

4.4.37-4.fc41

4.4.38-3.fc41

util-linux

2.40.2-4.fc41

2.40.4-1.fc41

cpp

14.2.1-3.fc41

14.2.1-7.fc41

gcc-plugin-annobin

14.2.1-3.fc41

14.2.1-7.fc41

emacsclient

1:29.4-38.fc41

1:29.4-43.fc41

libsmartcols

2.40.2-4.fc41

2.40.4-1.fc41

util-linux-core

2.40.2-4.fc41

2.40.4-1.fc41

libblkid

2.40.2-4.fc41

2.40.4-1.fc41

libmount-devel

2.40.2-4.fc41

2.40.4-1.fc41

zlib-ng-compat-devel

2.1.7-3.fc41

2.2.3-1.fc41

libfdisk

2.40.2-4.fc41

2.40.4-1.fc41

libxcrypt-devel

4.4.37-4.fc41

4.4.38-3.fc41

flexiblas-netlib

3.4.4-3.fc41

3.4.4-5.fc41

flexiblas

3.4.4-3.fc41

3.4.4-5.fc41

mesa-dri-drivers

24.3.2-2.fc41

24.3.3-2.fc41

mesa-libGL

24.3.2-2.fc41

24.3.3-2.fc41

spirv-tools-libs

2024.3-3.fc41

2024.4-1.fc41

libblkid-devel

2.40.2-4.fc41

2.40.4-1.fc41

flexiblas-openblas-openmp

3.4.4-3.fc41

3.4.4-5.fc41

libusb1

1.0.27-4.fc41

1.0.27-6.fc41

libgfortran

14.2.1-3.fc41

14.2.1-7.fc41

mesa-filesystem

24.3.2-2.fc41

24.3.3-2.fc41

libquadmath

14.2.1-3.fc41

14.2.1-7.fc41

mesa-libgbm

24.3.2-2.fc41

24.3.3-2.fc41

mesa-libEGL

24.3.2-2.fc41

24.3.3-2.fc41

mesa-libglapi

24.3.2-2.fc41

24.3.3-2.fc41

show 28 more collapse

127815307

2025-01-13 00:01:03

aarch64

├127815379 ( build.log | root.log )

ppc64le

├127815377 ( build.log | root.log )

x86_64

└127815378 ( build.log | root.log )

pyproject-rpm-macros

1.16.3-1.fc41

1.16.4-1.fc41

libcurl

8.9.1-2.fc41

8.9.1-3.fc41

systemd-libs

256.10-1.fc41

256.11-1.fc41

vim-filesystem

2:9.1.919-1.fc41

2:9.1.1000-1.fc41

libXrender

0.9.11-7.fc41

0.9.12-1.fc41

pyproject-srpm-macros

1.16.3-1.fc41

1.16.4-1.fc41

libxcrypt

4.4.37-1.fc41

4.4.37-4.fc41

libedit

3.1-53.20240808cv...

3.1-54.20250104cv...

openssl-libs

1:3.2.2-9.fc41

1:3.2.2-11.fc41

cups-libs

1:2.4.11-8.fc41

1:2.4.11-9.fc41

cups-filesystem

1:2.4.11-8.fc41

1:2.4.11-9.fc41

libXrender-devel

0.9.11-7.fc41

0.9.12-1.fc41

audit-libs

4.0.2-1.fc41

4.0.3-1.fc41

gdb-minimal

15.2-3.fc41

15.2-4.fc41

libxcrypt-devel

4.4.37-1.fc41

4.4.37-4.fc41

curl

8.9.1-2.fc41

8.9.1-3.fc41

svt-av1-libs

2.1.0-2.fc41

2.1.0-4.fc41

mesa-libEGL

24.2.8-1.fc41

24.3.2-2.fc41

mesa-filesystem

24.2.8-1.fc41

24.3.2-2.fc41

hwdata

0.390-1.fc41

0.391-1.fc41

mesa-dri-drivers

24.2.8-1.fc41

24.3.2-2.fc41

xxhash-libs

0.8.2-4.fc41

0.8.3-1.fc41

mesa-libGL

24.2.8-1.fc41

24.3.2-2.fc41

libtirpc

1.3.6-1.fc41

1.3.6-1.rc3.fc41

mesa-libglapi

24.2.8-1.fc41

24.3.2-2.fc41

libXxf86vm

1.1.5-7.fc41

1.1.6-1.fc41

mesa-libgbm

24.2.8-1.fc41

24.3.2-2.fc41

spirv-tools-libs

2024.3-3.fc41

show 18 more collapse

127450915

2025-01-01 01:03:42

aarch64

├127450969 ( build.log | root.log )

ppc64le

├127450971 ( build.log | root.log )

x86_64

└127450970 ( build.log | root.log )

libwebp

1.4.0-4.fc41

1.5.0-1.fc41

libxml2

2.12.8-2.fc41

2.12.9-1.fc41

libxcrypt

4.4.36-12.fc41

4.4.37-1.fc41

tzdata

2024a-9.fc41

2024b-1.fc41

openjpeg

2.5.3-1.fc41

2.5.3-2.fc41

libxml2-devel

2.12.8-2.fc41

2.12.9-1.fc41

go-srpm-macros

3.6.0-3.fc41

3.6.0-5.fc41

libxcrypt-devel

4.4.36-12.fc41

4.4.37-1.fc41

setup

2.15.0-5.fc41

2.15.0-8.fc41

libwebp-devel

1.4.0-4.fc41

1.5.0-1.fc41

127134253

2024-12-23 02:02:20

aarch64

├127134366 ( build.log | root.log )

ppc64le

├127134367 ( build.log | root.log )

x86_64

└127134368 ( build.log | root.log )

python3-devel

3.13.0-1.fc41

3.13.1-2.fc41

python3

3.13.0-1.fc41

3.13.1-2.fc41

python3-libs

3.13.0-1.fc41

3.13.1-2.fc41

alternatives

1.30-1.fc41

1.31-1.fc41

glibc

2.40-12.fc41

2.40-17.fc41

systemd-libs

256.9-2.fc41

256.10-1.fc41

glibc-gconv-extra

2.40-12.fc41

2.40-17.fc41

libxcrypt

4.4.36-11.fc41

4.4.36-12.fc41

glibc-common

2.40-12.fc41

2.40-17.fc41

glibc-minimal-langpack

2.40-12.fc41

2.40-17.fc41

forge-srpm-macros

0.3.2-1.fc41

0.4.0-1.fc41

glibc-devel

2.40-12.fc41

2.40-17.fc41

binutils

2.43.1-4.fc41

2.43.1-5.fc41

libSM

1.2.4-4.fc41

1.2.5-1.fc41

libICE

1.1.1-4.fc41

1.1.2-1.fc41

libxcrypt-devel

4.4.36-11.fc41

4.4.36-12.fc41

show 6 more collapse

126951980

2024-12-17 10:53:21

aarch64

├126952149 ( build.log | root.log )

ppc64le

├126952150 ( build.log | root.log )

x86_64

└126952151 ( build.log | root.log )

fdupes

1:2.3.2-2.fc41

clang

19.1.4-1.fc41

19.1.5-1.fc41

vim-filesystem

2:9.1.895-1.fc41

2:9.1.919-1.fc41

llvm-libs

19.1.4-1.fc41

19.1.5-1.fc41

clang-libs

19.1.4-1.fc41

19.1.5-1.fc41

qt6-srpm-macros

6.8.0-1.fc41

6.8.1-4.fc41

pixman

0.44.0-0.fc41

0.44.2-1.fc41

openjpeg

2.5.2-4.fc41

2.5.3-1.fc41

clang-resource-filesystem

19.1.4-1.fc41

19.1.5-1.fc41

cups-libs

1:2.4.11-7.fc41

1:2.4.11-8.fc41

openldap

2.6.8-5.fc41

2.6.8-6.fc41

rpm-sequoia

1.7.0-2.fc41

1.7.0-3.fc41

sysprof-capture-devel

47.1-1.fc41

47.2-1.fc41

cups-filesystem

1:2.4.11-7.fc41

1:2.4.11-8.fc41

pixman-devel

0.44.0-0.fc41

0.44.2-1.fc41

nspr

4.36.0-1.fc41

4.36.0-2.fc41

kernel-headers

6.11.3-300.fc41

6.12.4-200.fc41

nss

3.106.0-1.fc41

3.107.0-1.fc41

libdrm

2.4.123-1.fc41

2.4.124-1.fc41

nss-softokn-freebl

3.106.0-1.fc41

3.107.0-1.fc41

nss-softokn

3.106.0-1.fc41

3.107.0-1.fc41

nss-sysinit

3.106.0-1.fc41

3.107.0-1.fc41

nss-util

3.106.0-1.fc41

3.107.0-1.fc41

show 13 more collapse

126594465

2024-12-07 15:41:41

aarch64

├126594565 ( build.log | root.log )

ppc64le

├126594564 ( build.log | root.log )

x86_64

└126594563 ( build.log | root.log )

flamegraph

1.0-19.20231107gi...

1.0-20.20241020gi...

cairo

1.18.2-1.fc41

1.18.2-2.fc41

pyproject-rpm-macros

1.16.0-1.fc41

1.16.3-1.fc41

vim-filesystem

2:9.1.866-1.fc41

2:9.1.895-1.fc41

systemd-libs

256.8-1.fc41

256.9-2.fc41

librsvg2

2.59.1-1.fc41

2.59.2-1.fc41

rsvg-pixbuf-loader

2.59.1-1.fc41

2.59.2-1.fc41

pyproject-srpm-macros

1.16.0-1.fc41

1.16.3-1.fc41

cairo-gobject

1.18.2-1.fc41

1.18.2-2.fc41

binutils

2.43.1-2.fc41

2.43.1-4.fc41

cairo-gobject-devel

1.18.2-1.fc41

1.18.2-2.fc41

cups-libs

1:2.4.11-3.fc41

1:2.4.11-7.fc41

cairo-devel

1.18.2-1.fc41

1.18.2-2.fc41

elfutils-libelf

0.192-6.fc41

0.192-7.fc41

elfutils

0.192-6.fc41

0.192-7.fc41

elfutils-debuginfod-client

0.192-6.fc41

0.192-7.fc41

cups-filesystem

1:2.4.11-3.fc41

1:2.4.11-7.fc41

debugedit

5.1-1.fc41

5.1-2.fc41

mesa-libEGL

24.2.7-1.fc41

24.2.8-1.fc41

elfutils-libs

0.192-6.fc41

0.192-7.fc41

mesa-libglapi

24.2.7-1.fc41

24.2.8-1.fc41

perl-IO-Socket-IP

0.42-512.fc41

0.43-1.fc41

fedora-release-common

41-28

41-29

mesa-filesystem

24.2.7-1.fc41

24.2.8-1.fc41

hwdata

0.389-1.fc41

0.390-1.fc41

fedora-release-identity-basic

41-28

41-29

mesa-libgbm

24.2.7-1.fc41

24.2.8-1.fc41

fedora-release

41-28

41-29

mesa-libGL

24.2.7-1.fc41

24.2.8-1.fc41

elfutils-default-yama-scope

0.192-6.fc41

0.192-7.fc41

mesa-dri-drivers

24.2.7-1.fc41

24.2.8-1.fc41

show 21 more collapse

Real build: frama-c-30.0-1.fc41

126576265

2024-12-06 18:15:59

aarch64

├126576291 ( build.log | root.log )

ppc64le

├126576292 ( build.log | root.log )

s390x

├126576293 ( build.log | root.log )

x86_64

└126576290 ( build.log | root.log )

No dependency changes

126382380

2024-11-30 00:56:01

aarch64

├126382501 ( build.log | root.log )

ppc64le

├126382502 ( build.log | root.log )

x86_64

└126382500 ( build.log | root.log )

clang

19.1.0-1.fc41

19.1.4-1.fc41

glibc

2.40-11.fc41

2.40-12.fc41

clang-libs

19.1.0-1.fc41

19.1.4-1.fc41

llvm-libs

19.1.0-1.fc41

19.1.4-1.fc41

cairo

1.18.0-4.fc41

1.18.2-1.fc41

libXt

1.3.0-4.fc41

1.3.1-1.fc41

cairo-gobject-devel

1.18.0-4.fc41

1.18.2-1.fc41

libxcrypt

4.4.36-10.fc41

4.4.36-11.fc41

cups-libs

1:2.4.11-2.fc41

1:2.4.11-3.fc41

efi-srpm-macros

5-12.fc41

5-13.fc41

glibc-common

2.40-11.fc41

2.40-12.fc41

glibc-minimal-langpack

2.40-11.fc41

2.40-12.fc41

cairo-gobject

1.18.0-4.fc41

1.18.2-1.fc41

glibc-gconv-extra

2.40-11.fc41

2.40-12.fc41

glibc-devel

2.40-11.fc41

2.40-12.fc41

clang-resource-filesystem

19.1.0-1.fc41

19.1.4-1.fc41

cairo-devel

1.18.0-4.fc41

1.18.2-1.fc41

libxcrypt-devel

4.4.36-10.fc41

4.4.36-11.fc41

pam-libs

1.6.1-6.fc41

1.6.1-7.fc41

pam

1.6.1-6.fc41

1.6.1-7.fc41

cups-filesystem

1:2.4.11-3.fc41

nspr

4.35.0-30.fc41

4.36.0-1.fc41

nss

3.105.0-1.fc41

3.106.0-1.fc41

nss-sysinit

3.105.0-1.fc41

3.106.0-1.fc41

nss-util

3.105.0-1.fc41

3.106.0-1.fc41

nss-softokn-freebl

3.105.0-1.fc41

3.106.0-1.fc41

nss-softokn

3.105.0-1.fc41

3.106.0-1.fc41

fedora-release-common

41-27

41-28

fedora-release

41-27

41-28

fedora-release-identity-basic

41-27

41-28

show 20 more collapse

Previous history