Koschei - frama-c

frama-c

Package information

State

ok

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

1523

Manual priority

0

Static priority

0

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

vim-filesystem

2:9.1.785-1.fc40

2:9.1.825-1.fc40

2

pyproject-rpm-macros

1.15.1-1.fc40

1.16.0-1.fc40

2

dwz

0.15-6.fc40

0.15-8.fc40

3

pyproject-srpm-macros

1.15.1-1.fc40

1.16.0-1.fc40

3

libxcrypt

4.4.36-5.fc40

4.4.36-8.fc40

3

libtiff

4.6.0-2.fc40

4.6.0-5.fc40.1

3

elfutils-libelf

0.191-4.fc40

0.192-4.fc40

4

libxcrypt-devel

4.4.36-5.fc40

4.4.36-8.fc40

4

libtiff-devel

4.6.0-2.fc40

4.6.0-5.fc40.1

4

elfutils

0.191-4.fc40

0.192-4.fc40

4

cmake-filesystem

3.28.2-1.fc40

3.30.5-1.fc40

4

debugedit

5.0-14.fc40

5.0-18.fc40

4

libdav1d

1.4.3-1.fc40

1.5.0-2.fc40

4

elfutils-debuginfod-client

0.191-4.fc40

0.192-4.fc40

4

elfutils-libs

0.191-4.fc40

0.192-4.fc40

B

elfutils-default-yama-scope

0.191-4.fc40

0.192-4.fc40

B

libxshmfence

1.3.2-3.fc40

1.3.2-5.fc40

B

show 7 more collapse

State overview

Groups

This package is not part of any global group.

Historical builds

complete

2024-05-11 05:11:05

aarch64

├117545666 ( build.log | root.log )

x86_64

└117545665 ( build.log | root.log )

python3-devel

3.12.2-2.fc40

3.12.3-2.fc40

1

libgccjit

14.0.1-0.15.fc40

14.1.1-1.fc40

2

libstdc++-devel

14.0.1-0.15.fc40

14.1.1-1.fc40

2

libgcc

14.0.1-0.15.fc40

14.1.1-1.fc40

2

vim-filesystem

2:9.1.354-1.fc40

2:9.1.393-1.fc40

2

libuuid

2.40-13.fc40

2.40.1-1.fc40

2

gcc-c++

14.0.1-0.15.fc40

14.1.1-1.fc40

2

python3-libs

3.12.2-2.fc40

3.12.3-2.fc40

2

libstdc++

14.0.1-0.15.fc40

14.1.1-1.fc40

2

systemd-libs

255.4-1.fc40

255.6-1.fc40

2

python3

3.12.2-2.fc40

3.12.3-2.fc40

2

gcc

14.0.1-0.15.fc40

14.1.1-1.fc40

2

gcc-plugin-annobin

14.0.1-0.15.fc40

14.1.1-1.fc40

3

libgomp

14.0.1-0.15.fc40

14.1.1-1.fc40

3

libtracker-sparql

3.7.2-1.fc40

3.7.3-1.fc40

3

util-linux

2.40-13.fc40

2.40.1-1.fc40

3

cpp

14.0.1-0.15.fc40

14.1.1-1.fc40

3

binutils

2.41-34.fc40

2.41-37.fc40

3

libmount

2.40-13.fc40

2.40.1-1.fc40

3

util-linux-core

2.40-13.fc40

2.40.1-1.fc40

4

binutils-gold

2.41-34.fc40

2.41-37.fc40

4

libsmartcols

2.40-13.fc40

2.40.1-1.fc40

4

libmount-devel

2.40-13.fc40

2.40.1-1.fc40

4

libfdisk

2.40-13.fc40

2.40.1-1.fc40

4

libblkid

2.40-13.fc40

2.40.1-1.fc40

4

libgfortran

14.0.1-0.15.fc40

14.1.1-1.fc40

B

libusb1

1.0.27-1.fc40

1.0.27-2.fc40

B

libquadmath

14.0.1-0.15.fc40

14.1.1-1.fc40

B

libblkid-devel

2.40-13.fc40

2.40.1-1.fc40

B

hwdata

0.381-1.fc40

0.382-1.fc40

B

show 20 more collapse