Koschei - frama-c

Package information

State

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

1669

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

rpm-libs

4.20.1-3.fc43

5.99.90-3.fc43

harfbuzz

11.0.1-2.fc43

11.1.0-1.fc43

libcap

2.73-2.fc42

2.76-1.fc43

libwayland-egl

1.23.0-3.fc42

1.23.1-1.fc43

wayland-devel

1.23.0-3.fc42

1.23.1-1.fc43

rpm

4.20.1-3.fc43

5.99.90-3.fc43

libwayland-client

1.23.0-3.fc42

1.23.1-1.fc43

crypto-policies

20250402-1.git86c0178....

20250402-2.git86c0178....

libwayland-cursor

1.23.0-3.fc42

1.23.1-1.fc43

rpm-build

4.20.1-3.fc43

5.99.90-3.fc43

openssl-libs

1:3.5.0-2.fc43

1:3.5.0-3.fc43

qt6-srpm-macros

6.9.0-1.fc43

6.9.0-2.fc43

rpm-build-libs

4.20.1-3.fc43

5.99.90-3.fc43

libwayland-server

1.23.0-3.fc42

1.23.1-1.fc43

harfbuzz-devel

11.0.1-2.fc43

11.1.0-1.fc43

harfbuzz-cairo

11.0.1-2.fc43

11.1.0-1.fc43

libfsverity

1.6-2.fc42

harfbuzz-icu

11.0.1-2.fc43

11.1.0-1.fc43

libgpg-error

1.53-1.fc43

1.54-1.fc43

ima-evm-utils-libs

1.6.2-5.fc43

rpm-sign-libs

5.99.90-3.fc43

show 11 more collapse

State overview

Groups

This package is not part of any global group.

Most recent builds

Real build: frama-c-30.0-9.fc43

131571568

2025-04-15 20:49:41

aarch64

├131571715 ( build.log | root.log )

ppc64le

├131571716 ( build.log | root.log )

s390x

├131571717 ( build.log | root.log )

x86_64

└131571714 ( build.log | root.log )

ocaml-ocamlgraph-devel

2.1.0-11.fc42

2.2.0-1.fc43

ocaml-why3-devel

1.8.0-4.fc43

1.8.0-5.fc43

why3

1.8.0-4.fc43

1.8.0-5.fc43

perl-interpreter

4:5.40.1-515.fc42

4:5.40.2-517.fc43

perl-libs

4:5.40.1-515.fc42

4:5.40.2-517.fc43

perl-open

1.13-515.fc42

1.13-517.fc43

alsa-lib

1.2.13-4.fc42

1.2.14-2.fc43

ocaml-why3

1.8.0-4.fc43

1.8.0-5.fc43

glibc

2.41.9000-9.fc43

2.41.9000-10.fc43

ocaml-ocamlgraph

2.1.0-11.fc42

2.2.0-1.fc43

grep

3.11-10.fc42

3.12-1.fc43

glibc-devel

2.41.9000-9.fc43

2.41.9000-10.fc43

glibc-minimal-langpack

2.41.9000-9.fc43

2.41.9000-10.fc43

perl-overload

1.37-515.fc42

1.37-517.fc43

cups-libs

1:2.4.12-1.fc43

1:2.4.12-2.fc43

perl-base

2.27-515.fc42

2.27-517.fc43

filesystem

3.18-39.fc43

3.18-40.fc43

glibc-gconv-extra

2.41.9000-9.fc43

2.41.9000-10.fc43

tree-sitter-srpm-macros

0.2.1-1.fc43

0.2.2-1.fc43

filesystem-srpm-macros

3.18-39.fc43

3.18-40.fc43

perl-DynaLoader

1.56-515.fc42

1.56-517.fc43

glibc-common

2.41.9000-9.fc43

2.41.9000-10.fc43

perl-Getopt-Std

1.14-515.fc42

1.14-517.fc43

kernel-headers

6.14.0-63.fc43

6.15.0-0.rc2.22.fc43

perl-overloading

0.02-515.fc42

0.02-517.fc43

perl-mro

1.29-515.fc42

1.29-517.fc43

perl-File-Basename

2.86-515.fc42

2.86-517.fc43

perl-vars

1.05-515.fc42

1.05-517.fc43

cups-filesystem

1:2.4.12-1.fc43

1:2.4.12-2.fc43

perl-Errno

1.38-515.fc42

1.38-517.fc43

perl-SelectSaver

1.02-515.fc42

1.02-517.fc43

perl-POSIX

2.20-515.fc42

2.20-517.fc43

perl-B

1.89-515.fc42

1.89-517.fc43

perl-IO

1.55-515.fc42

1.55-517.fc43

perl-FileHandle

2.05-515.fc42

2.05-517.fc43

perl-if

0.61.000-515.fc42

0.61.000-517.fc43

perl-Symbol

1.09-515.fc42

1.09-517.fc43

perl-Class-Struct

0.68-515.fc42

0.68-517.fc43

perl-IPC-Open3

1.22-515.fc42

1.22-517.fc43

spirv-tools-libs

2024.4-2.fc42

2025.1-1.fc43

perl-AutoLoader

5.74-515.fc42

5.74-517.fc43

perl-locale

1.12-515.fc42

1.12-517.fc43

perl-Fcntl

1.18-515.fc42

1.18-517.fc43

perl-File-stat

1.14-515.fc42

1.14-517.fc43

show 34 more collapse

131445735

2025-04-12 22:40:32

aarch64

├131445795 ( build.log | root.log )

ppc64le

├131445794 ( build.log | root.log )

x86_64

└131445793 ( build.log | root.log )

pandoc

3.1.11.1-33.fc42

3.6.4-35.fc43

python3-devel

3.13.2-2.fc43

3.13.3-1.fc43

gcc

15.0.1-0.11.fc43

15.0.1-0.12.fc43

libstdc++

15.0.1-0.11.fc43

15.0.1-0.12.fc43

vim-filesystem

2:9.1.1275-1.fc43

2:9.1.1291-1.fc43

libgcc

15.0.1-0.11.fc43

15.0.1-0.12.fc43

gcc-c++

15.0.1-0.11.fc43

15.0.1-0.12.fc43

pandoc-common

3.1.11.1-32.fc42

3.6.4-34.fc43

python3

3.13.2-2.fc43

3.13.3-1.fc43

libstdc++-devel

15.0.1-0.11.fc43

15.0.1-0.12.fc43

python3-libs

3.13.2-2.fc43

3.13.3-1.fc43

fontconfig

2.16.1-1.fc43

2.16.2-1.fc43

libgccjit

15.0.1-0.11.fc43

15.0.1-0.12.fc43

fontconfig-devel

2.16.1-1.fc43

2.16.2-1.fc43

cpp

15.0.1-0.11.fc43

15.0.1-0.12.fc43

cups-libs

1:2.4.11-13.fc43

1:2.4.12-1.fc43

tree-sitter-srpm-macros

0.2.0-1.fc43

0.2.1-1.fc43

libgomp

15.0.1-0.11.fc43

15.0.1-0.12.fc43

gcc-plugin-annobin

15.0.1-0.11.fc43

15.0.1-0.12.fc43

coreutils

9.6-2.fc43

9.7-1.fc43

cups-filesystem

1:2.4.11-13.fc43

1:2.4.12-1.fc43

coreutils-common

9.6-2.fc43

9.7-1.fc43

diffutils

3.11-3.fc43

3.12-1.fc43

fedora-release

43-0.12

43-0.13

libquadmath

15.0.1-0.11.fc43

15.0.1-0.12.fc43

libgfortran

15.0.1-0.11.fc43

15.0.1-0.12.fc43

fedora-release-identity-basic

43-0.12

43-0.13

fedora-release-common

43-0.12

43-0.13

show 18 more collapse

131398302

2025-04-11 05:46:42

aarch64

├131398405 ( build.log | root.log )

ppc64le

├131398404 ( build.log | root.log )

x86_64

└131398403 ( build.log | root.log )

emacs-nw

1:30.1-18.fc43

1:30.1-19.fc43

systemd-libs

257.4-3.fc43

257.5-2.fc43

emacs-common

1:30.1-18.fc43

1:30.1-19.fc43

glibc

2.41.9000-8.fc43

2.41.9000-9.fc43

systemd-standalone-sysusers

257.4-3.fc43

257.5-2.fc43

glibc-minimal-langpack

2.41.9000-8.fc43

2.41.9000-9.fc43

glibc-gconv-extra

2.41.9000-8.fc43

2.41.9000-9.fc43

glibc-common

2.41.9000-8.fc43

2.41.9000-9.fc43

glibc-devel

2.41.9000-8.fc43

2.41.9000-9.fc43

emacsclient

1:30.1-18.fc43

1:30.1-19.fc43

debugedit

5.1-5.fc43

5.1-6.fc43

fedora-release

43-0.10

43-0.12

libgpg-error

1.51-2.fc42

1.53-1.fc43

systemd-rpm-macros

257.4-3.fc43

257.5-2.fc43

fedora-release-common

43-0.10

43-0.12

fedora-release-identity-basic

43-0.10

43-0.12

systemd-devel

257.4-3.fc43

257.5-2.fc43

show 7 more collapse

131269367

2025-04-08 07:21:31

aarch64

├131269483 ( build.log | root.log )

ppc64le

├131269482 ( build.log | root.log )

x86_64

└131269481 ( build.log | root.log )

clang

20.1.1-1.fc43

20.1.2-3.fc43

llvm-libs

20.1.1-1.fc43

20.1.2-3.fc43

clang-libs

20.1.1-1.fc43

20.1.2-3.fc43

glibc

2.41.9000-7.fc43

2.41.9000-8.fc43

harfbuzz

11.0.0-1.fc43

11.0.1-2.fc43

glibc-common

2.41.9000-7.fc43

2.41.9000-8.fc43

glibc-devel

2.41.9000-7.fc43

2.41.9000-8.fc43

glibc-gconv-extra

2.41.9000-7.fc43

2.41.9000-8.fc43

clang-resource-filesystem

20.1.1-1.fc43

20.1.2-3.fc43

netpbm

11.09.00-2.fc43

11.10.00-1.fc43

glibc-minimal-langpack

2.41.9000-7.fc43

2.41.9000-8.fc43

llvm-filesystem

20.1.1-1.fc43

20.1.2-3.fc43

perl-Scalar-List-Utils

5:1.68-2.fc42

5:1.69-1.fc43

harfbuzz-devel

11.0.0-1.fc43

11.0.1-2.fc43

harfbuzz-cairo

11.0.0-1.fc43

11.0.1-2.fc43

harfbuzz-icu

11.0.0-1.fc43

11.0.1-2.fc43

show 6 more collapse

131126693

2025-04-05 06:11:44

aarch64

├131126769 ( build.log | root.log )

ppc64le

├131126768 ( build.log | root.log )

x86_64

└131126767 ( build.log | root.log )

emacs-nw

1:30.1-13.fc43

1:30.1-18.fc43

libcurl

8.13.0~rc3-1.fc43

8.13.0-1.fc43

vim-filesystem

2:9.1.1227-1.fc43

2:9.1.1275-1.fc43

glib2

2.84.0-1.fc43

2.84.1-1.fc43

libffi

3.4.7-3.fc43

3.4.7-4.fc43

redhat-rpm-config

342-2.fc42

343-3.fc43

emacs-common

1:30.1-13.fc43

1:30.1-18.fc43

libsodium-devel

1.0.20-4.fc42

1.0.20-5.fc43

crypto-policies

20250324-1.git3714354....

20250402-1.git86c0178....

glib2-devel

2.84.0-1.fc43

2.84.1-1.fc43

xz-libs

1:5.8.0-1.fc43

1:5.8.1-1.fc43

libxcrypt

4.4.38-6.fc43

4.4.38-7.fc43

emacsclient

1:30.1-13.fc43

1:30.1-18.fc43

1:5.8.0-1.fc43

1:5.8.1-1.fc43

libxcrypt-devel

4.4.38-6.fc43

4.4.38-7.fc43

xz-devel

1:5.8.0-1.fc43

1:5.8.1-1.fc43

curl

8.13.0~rc3-1.fc43

8.13.0-1.fc43

libsodium

1.0.20-4.fc42

1.0.20-5.fc43

gawk

5.3.1-1.fc42

5.3.2-1.fc43

libffi-devel

3.4.7-3.fc43

3.4.7-4.fc43

fedora-release

43-0.8

43-0.10

fedora-release-common

43-0.8

43-0.10

fedora-release-identity-basic

43-0.8

43-0.10

show 13 more collapse

Real build: frama-c-30.0-8.fc43

131068631

2025-04-03 19:29:53

aarch64

├131068661 ( build.log | root.log )

ppc64le

├131068662 ( build.log | root.log )

s390x

├131068663 ( build.log | root.log )

x86_64

└131068660 ( build.log | root.log )

No dependency changes

131067028

2025-04-03 18:20:51

aarch64

├131067076 ( build.log | root.log )

ppc64le

├131067075 ( build.log | root.log )

x86_64

└131067074 ( build.log | root.log )

graphviz

12.2.1-3.fc42

12.2.1-5.fc43

ocaml-dune-configurator-devel

3.17.2-1.fc42

3.18.0-1.fc43

fdupes

1:2.3.2-3.fc42

1:2.4.0-1.fc43

ocaml-dune

3.17.2-1.fc42

3.18.0-1.fc43

ocaml-dune-site-devel

3.17.2-1.fc42

3.18.0-1.fc43

glibc

2.41.9000-6.fc43

2.41.9000-7.fc43

graphviz-libs

12.2.1-3.fc42

12.2.1-5.fc43

rpm-libs

4.20.1-1.fc43

4.20.1-3.fc43

ocaml-dune-private-libs-devel

3.17.2-1.fc42

3.18.0-1.fc43

ocaml-dune-configurator

3.17.2-1.fc42

3.18.0-1.fc43

ocaml-stdune-devel

3.17.2-1.fc42

3.18.0-1.fc43

ocaml-dune-private-libs

3.17.2-1.fc42

3.18.0-1.fc43

ocaml-dune-site

3.17.2-1.fc42

3.18.0-1.fc43

rpm

4.20.1-1.fc43

4.20.1-3.fc43

glibc-minimal-langpack

2.41.9000-6.fc43

2.41.9000-7.fc43

ocaml-dyn

3.17.2-1.fc42

3.18.0-1.fc43

glibc-gconv-extra

2.41.9000-6.fc43

2.41.9000-7.fc43

filesystem

3.18-38.fc43

3.18-39.fc43

glibc-common

2.41.9000-6.fc43

2.41.9000-7.fc43

rpm-build

4.20.1-1.fc43

4.20.1-3.fc43

ocaml-ordering

3.17.2-1.fc42

3.18.0-1.fc43

rpm-sequoia

1.7.0-5.fc43

1.8.0-1.fc43

ocaml-dyn-devel

3.17.2-1.fc42

3.18.0-1.fc43

ocaml-ordering-devel

3.17.2-1.fc42

3.18.0-1.fc43

glibc-devel

2.41.9000-6.fc43

2.41.9000-7.fc43

qt6-srpm-macros

6.9.0~rc-1.fc43

6.9.0-1.fc43

filesystem-srpm-macros

3.18-38.fc43

3.18-39.fc43

ocaml-stdune

3.17.2-1.fc42

3.18.0-1.fc43

rpm-build-libs

4.20.1-1.fc43

4.20.1-3.fc43

hwdata

0.393-1.fc43

0.394-1.fc43

show 20 more collapse

130943117

2025-03-31 13:35:52

aarch64

├130943180 ( build.log | root.log )

ppc64le

├130943179 ( build.log | root.log )

x86_64

└130943178 ( build.log | root.log )

libstdc++-devel

15.0.1-0.10.fc43

15.0.1-0.11.fc43

gcc

15.0.1-0.10.fc43

15.0.1-0.11.fc43

spdlog

1.15.1-2.fc43

1.15.2-1.fc43

libgcc

15.0.1-0.10.fc43

15.0.1-0.11.fc43

expat

2.7.0-1.fc43

2.7.1-1.fc43

libstdc++

15.0.1-0.10.fc43

15.0.1-0.11.fc43

xapian-core-libs

1.4.26-2.fc42

1.4.27-1.fc43

libgccjit

15.0.1-0.10.fc43

15.0.1-0.11.fc43

gcc-c++

15.0.1-0.10.fc43

15.0.1-0.11.fc43

libffi

3.4.7-2.fc43

3.4.7-3.fc43

cpp

15.0.1-0.10.fc43

15.0.1-0.11.fc43

atk

2.56.0-1.fc43

2.56.1-1.fc43

at-spi2-atk-devel

2.56.0-1.fc43

2.56.1-1.fc43

atk-devel

2.56.0-1.fc43

2.56.1-1.fc43

tzdata

2025a-1.fc43

2025b-1.fc43

at-spi2-atk

2.56.0-1.fc43

2.56.1-1.fc43

gcc-plugin-annobin

15.0.1-0.10.fc43

15.0.1-0.11.fc43

libgomp

15.0.1-0.10.fc43

15.0.1-0.11.fc43

perl-Pod-Usage

4:2.04-1.fc43

4:2.05-1.fc43

libffi-devel

3.4.7-2.fc43

3.4.7-3.fc43

at-spi2-core-devel

2.56.0-1.fc43

2.56.1-1.fc43

at-spi2-core

2.56.0-1.fc43

2.56.1-1.fc43

patch

2.7.6-26.fc42

2.8-1.fc43

libgfortran

15.0.1-0.10.fc43

15.0.1-0.11.fc43

libquadmath

15.0.1-0.10.fc43

15.0.1-0.11.fc43

show 15 more collapse

Previous history