Koschei - frama-c

Package information

State

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

1600

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

python3-devel

3.13.0~rc2-1.fc42

3.13.0~rc2-2.fc42

libcurl

8.10.0-1.fc42

8.10.1-1.fc42

python3-libs

3.13.0~rc2-1.fc42

3.13.0~rc2-2.fc42

python3

3.13.0~rc2-1.fc42

3.13.0~rc2-2.fc42

ghc-srpm-macros

1.9.1-2.fc41

1.9.2-1.fc42

libjpeg-turbo

3.0.2-3.fc41

3.0.4-1.fc42

libpng

2:1.6.40-4.fc41

2:1.6.44-1.fc42

libjpeg-turbo-devel

3.0.2-3.fc41

3.0.4-1.fc42

curl

8.10.0-1.fc42

8.10.1-1.fc42

shadow-utils

2:4.16.0-3.fc42

2:4.16.0-4.fc42

libpng-devel

2:1.6.40-4.fc41

2:1.6.44-1.fc42

fedora-repos

42-0.1

42-0.2

mesa-filesystem

24.2.2-2.fc42

24.2.3-2.fc42

mesa-libEGL

24.2.2-2.fc42

24.2.3-2.fc42

mesa-libglapi

24.2.2-2.fc42

24.2.3-2.fc42

mesa-dri-drivers

24.2.2-2.fc42

24.2.3-2.fc42

fedora-gpg-keys

42-0.1

42-0.2

fedora-repos-rawhide

42-0.1

42-0.2

mesa-libgbm

24.2.2-2.fc42

24.2.3-2.fc42

mesa-libGL

24.2.2-2.fc42

24.2.3-2.fc42

show 10 more collapse

State overview

Groups

This package is not part of any global group.

Historical builds

115491501

2024-03-27 01:29:43

aarch64

├115491620 ( build.log | root.log )

x86_64

└115491619 ( build.log | root.log )

clang

18.1.1-1.fc41

18.1.2-1.fc41

python3-devel

3.12.2-2.fc41

3.12.2-3.fc41

emacs-nw

1:29.2-3.fc40

1:29.3-1.fc41

ocaml-why3-devel

1.7.1-2.fc40

1.7.1-3.fc41

why3

1.7.1-2.fc40

1.7.1-3.fc41

glibc

2.39.9000-9.fc41

2.39.9000-10.fc41

emacs-filesystem

1:29.2-3.fc40

1:29.3-1.fc41

llvm-libs

18.1.1-1.fc41

18.1.2-1.fc41

python3

3.12.2-2.fc41

3.12.2-3.fc41

emacs-common

1:29.2-3.fc40

1:29.3-1.fc41

clang-libs

18.1.1-1.fc41

18.1.2-1.fc41

python3-libs

3.12.2-2.fc41

3.12.2-3.fc41

ocaml-why3

1.7.1-2.fc40

1.7.1-3.fc41

clang-resource-filesystem

18.1.1-1.fc41

18.1.2-1.fc41

glibc-common

2.39.9000-9.fc41

2.39.9000-10.fc41

glibc-gconv-extra

2.39.9000-9.fc41

2.39.9000-10.fc41

llvm

18.1.1-1.fc41

18.1.2-1.fc41

crypto-policies

20240304-1.git0375239....

20240320-1.git58e3d95....

glibc-minimal-langpack

2.39.9000-9.fc41

2.39.9000-10.fc41

glibc-devel

2.39.9000-9.fc41

2.39.9000-10.fc41

annobin-plugin-gcc

12.45-1.fc41

12.46-1.fc41

glibc-headers-x86

2.39.9000-9.fc41

2.39.9000-10.fc41

xorg-x11-proto-devel

2023.2-4.fc40

2024.1-1.fc41

annobin-docs

12.45-1.fc41

12.46-1.fc41

kernel-headers

6.8.0-0.rc7.55.fc41

6.9.0-0.rc1.17.fc41

libgcrypt

1.10.3-3.fc40

1.10.3-4.fc41

crypto-policies-scripts

20240304-1.git0375239....

20240320-1.git58e3d95....

show 17 more collapse

Real build: frama-c-28.1-2.fc41

115406239

2024-03-25 11:29:36

aarch64

├115406395 ( build.log | root.log )

s390x

├115406396 ( build.log | root.log )

x86_64

└115406394 ( build.log | root.log )

python3-rpm-macros

3.12-7.fc40

3.12-8.fc41

python-rpm-macros

3.12-7.fc40

3.12-8.fc41

glib2

2.79.1-1.fc40

2.80.0-1.fc41

adwaita-icon-theme

46~rc-1.fc41

46.0-1.fc41

libtracker-sparql

3.7~rc-1.fc41

3.7.0-1.fc41

atk-devel

2.51.91-1.fc41

2.52.0-1.fc41

csdp

6.2.0-18.fc40

6.2.0-27.20181018gi...

python3-packaging

23.2-4.fc40

24.0-1.fc41

atk

2.51.91-1.fc41

2.52.0-1.fc41

annobin-plugin-gcc

12.44-1.fc41

12.45-1.fc41

glib2-devel

2.79.1-1.fc40

2.80.0-1.fc41

python-srpm-macros

3.12-7.fc40

3.12-8.fc41

at-spi2-atk-devel

2.51.91-1.fc41

2.52.0-1.fc41

at-spi2-atk

2.51.91-1.fc41

2.52.0-1.fc41

suitesparse

7.6.0-1.fc40

7.6.1-1.fc41

google-noto-sans-vf-fonts

20240301-2.fc41

20240301-3.fc41

at-spi2-core-devel

2.51.91-1.fc41

2.52.0-1.fc41

adwaita-cursor-theme

46~rc-1.fc41

46.0-1.fc41

annobin-docs

12.44-1.fc41

12.45-1.fc41

sysprof-capture-devel

46~rc-1.fc41

46.0-1.fc41

at-spi2-core

2.51.91-1.fc41

2.52.0-1.fc41

google-noto-fonts-common

20240301-2.fc41

20240301-3.fc41

show 12 more collapse

115250802

2024-03-21 14:27:40

aarch64

├115250883 ( build.log | root.log )

x86_64

└115250881 ( build.log | root.log )

libtree-sitter

0.22.1-1.fc41

0.22.2-1.fc41

gnutls

3.8.3-2.fc40

3.8.4-1.fc41

libffi

3.4.4-8.fc41

3.4.6-1.fc41

expat

2.6.0-1.fc41

2.6.2-1.fc41

glibc

2.39.9000-8.fc41

2.39.9000-9.fc41

glibc-devel

2.39.9000-8.fc41

2.39.9000-9.fc41

glibc-common

2.39.9000-8.fc41

2.39.9000-9.fc41

binutils

2.42.50-5.fc41

2.42.50-6.fc41

pcre2

10.42-2.fc40.2

10.43-1.fc41

glibc-minimal-langpack

2.39.9000-8.fc41

2.39.9000-9.fc41

ghc-srpm-macros

1.9-1.fc41

1.9.1-1.fc41

glibc-gconv-extra

2.39.9000-8.fc41

2.39.9000-9.fc41

flint

3.1.0-1.fc41

3.1.2-1.fc41

libtirpc

1.3.4-1.rc2.fc40.2

1.3.4-1.rc3.fc41

elfutils-debuginfod-client

0.191-2.fc41

0.191-4.fc41

pcre2-devel

10.42-2.fc40.2

10.43-1.fc41

glibc-headers-x86

2.39.9000-8.fc41

2.39.9000-9.fc41

binutils-gold

2.42.50-5.fc41

2.42.50-6.fc41

libffi-devel

3.4.4-8.fc41

3.4.6-1.fc41

nss

3.98.0-1.fc41

3.99.0-1.fc41

elfutils

0.191-2.fc41

0.191-4.fc41

nspr

4.35.0-21.fc41

4.35.0-22.fc41

elfutils-libelf

0.191-2.fc41

0.191-4.fc41

pcre2-syntax

10.42-2.fc40.2

10.43-1.fc41

nss-sysinit

3.98.0-1.fc41

3.99.0-1.fc41

mesa-libGL

24.0.3-1.fc41

24.0.3-2.fc41

nss-softokn

3.98.0-1.fc41

3.99.0-1.fc41

elfutils-libs

0.191-2.fc41

0.191-4.fc41

pcre2-utf16

10.42-2.fc40.2

10.43-1.fc41

shadow-utils

2:4.15.1-1.fc41

2:4.15.1-2.fc41

mesa-libgbm

24.0.3-1.fc41

24.0.3-2.fc41

mesa-libEGL

24.0.3-1.fc41

24.0.3-2.fc41

nss-softokn-freebl

3.98.0-1.fc41

3.99.0-1.fc41

elfutils-default-yama-scope

0.191-2.fc41

0.191-4.fc41

mesa-libglapi

24.0.3-1.fc41

24.0.3-2.fc41

nss-util

3.98.0-1.fc41

3.99.0-1.fc41

pcre2-utf32

10.42-2.fc40.2

10.43-1.fc41

show 27 more collapse