frama-c

Package information

State
ok
Packages
Bodhi
Dist-git
Bugzilla
Koji
File new FTBFS bug

Scheduler parameters

Tracked by Koschei
True
Current priority
2325
Manual priority
0
Static priority
0
Arch override
None
Skip resolution
False

Configure scheduling

Tracked by Koschei
Manual priority
Skip resolution
Arch override
Cancel

Dependency changes since last build

z3
4.15.3-2.fc43
4.15.4-1.fc43
1
python3-devel
3.14.0-1.fc43
3.14.0-2.fc43
1
glib2
2.86.1-1.fc43
2.86.1-2.fc43
2
vim-filesystem
2:9.1.1863-1.fc43
2:9.1.1888-1.fc43
2
python3-libs
3.14.0-1.fc43
3.14.0-2.fc43
2
python3
3.14.0-1.fc43
3.14.0-2.fc43
2
libxcrypt
4.4.38-8.fc43
4.5.1-1.fc43
3
libdav1d
1.5.1-2.fc43
1.5.2-1.fc43
3
efi-srpm-macros
6-5.fc43
6-4.fc43
3
qt5-srpm-macros
5.15.17-2.fc43
5.15.18-1.fc43
3
glycin-libs
2.0.3-1.fc43
2.0.4-1.fc43
3
glib2-devel
2.86.1-1.fc43
2.86.1-2.fc43
3
libxcrypt-devel
4.4.38-8.fc43
4.5.1-1.fc43
4
glycin-devel
2.0.3-1.fc43
2.0.4-1.fc43
4
audit-libs
4.1.1-2.fc43
4.1.2-2.fc43
4
glycin-loaders
2.0.3-1.fc43
2.0.4-1.fc43
4
mesa-dri-drivers
25.2.5-1.fc43
25.2.6-1.fc43
B
mesa-libgbm
25.2.5-1.fc43
25.2.6-1.fc43
B
perl-URI
5.34-1.fc43
5.34-2.fc43
B
hwdata
0.400-1.fc43
0.401-1.fc43
B
mesa-filesystem
25.2.5-1.fc43
25.2.6-1.fc43
B
mesa-libEGL
25.2.5-1.fc43
25.2.6-1.fc43
B
mesa-libGL
25.2.5-1.fc43
25.2.6-1.fc43
B
libdrm
2.4.127-3.fc43
2.4.128-3.fc43
B

State overview

Groups

This package is not part of any global group.

Most recent builds

complete
138615456
2025-11-01 07:56:14
aarch64
├138615624 ( build.log | root.log )
ppc64le
├138615622 ( build.log | root.log )
x86_64
└138615623 ( build.log | root.log )
clang
21.1.3-1.fc43
21.1.4-1.fc43
1
emacs-nw
1:30.2-1.fc43
1:30.2-4.fc43
1
dos2unix
7.5.2-4.fc43
7.5.3-1.fc43
1
gcc
15.2.1-2.fc43
15.2.1-3.fc43
2
libgcc
15.2.1-2.fc43
15.2.1-3.fc43
2
glib2
2.86.0-2.fc43
2.86.1-1.fc43
2
clang-libs
21.1.3-1.fc43
21.1.4-1.fc43
2
llvm-libs
21.1.3-1.fc43
21.1.4-1.fc43
2
libgccjit
15.2.1-2.fc43
15.2.1-3.fc43
2
libstdc++-devel
15.2.1-2.fc43
15.2.1-3.fc43
2
libstdc++
15.2.1-2.fc43
15.2.1-3.fc43
2
gcc-c++
15.2.1-2.fc43
15.2.1-3.fc43
2
gdk-pixbuf2
2.44.3-3.fc43
2.44.4-1.fc43
2
emacs-common
1:30.2-1.fc43
1:30.2-4.fc43
2
qt6-srpm-macros
6.9.2-1.fc43
6.10.0-1.fc43
3
gcc-plugin-annobin
15.2.1-2.fc43
15.2.1-3.fc43
3
gdk-pixbuf2-devel
2.44.3-3.fc43
2.44.4-1.fc43
3
clang-resource-filesystem
21.1.3-1.fc43
21.1.4-1.fc43
3
emacsclient
1:30.2-1.fc43
1:30.2-4.fc43
3
cpp
15.2.1-2.fc43
15.2.1-3.fc43
3
glib2-devel
2.86.0-2.fc43
2.86.1-1.fc43
3
llvm-filesystem
21.1.3-1.fc43
21.1.4-1.fc43
3
efi-srpm-macros
6-4.fc43
6-5.fc43
3
libgomp
15.2.1-2.fc43
15.2.1-3.fc43
3
elfutils
0.193-3.fc43
0.194-1.fc43
4
elfutils-libelf
0.193-3.fc43
0.194-1.fc43
4
nss
3.116.0-1.fc43
3.117.0-1.fc43
4
nspr
4.37.0-4.fc43
4.37.0-5.fc43
4
elfutils-debuginfod-client
0.193-3.fc43
0.194-1.fc43
4
flexiblas-netlib
3.4.5-5.fc43
3.5.0-1.fc43
4
libquadmath
15.2.1-2.fc43
15.2.1-3.fc43
B
libdrm
2.4.127-1.fc43
2.4.127-3.fc43
B
nss-util
3.116.0-1.fc43
3.117.0-1.fc43
B
flexiblas-openblas-openmp
3.4.5-5.fc43
3.5.0-1.fc43
B
nss-sysinit
3.116.0-1.fc43
3.117.0-1.fc43
B
libgfortran
15.2.1-2.fc43
15.2.1-3.fc43
B
elfutils-libs
0.193-3.fc43
0.194-1.fc43
B
elfutils-default-yama-scope
0.193-3.fc43
0.194-1.fc43
B
flexiblas
3.4.5-5.fc43
3.5.0-1.fc43
B
nss-softokn
3.116.0-1.fc43
3.117.0-1.fc43
B
nss-softokn-freebl
3.116.0-1.fc43
3.117.0-1.fc43
B
complete
138443799
2025-10-26 06:09:58
aarch64
├138443889 ( build.log | root.log )
ppc64le
├138443887 ( build.log | root.log )
x86_64
└138443888 ( build.log | root.log )
graphviz
13.1.1-3.fc43
13.1.2-2.fc43
1
pandoc-cli
3.6.4-38.fc43
1
clang
21.1.2-1.fc43
21.1.3-1.fc43
1
graphviz-libs
13.1.1-3.fc43
13.1.2-2.fc43
2
systemd-libs
258-1.fc43
258.1-1.fc43
2
gdk-pixbuf2
2.44.3-1.fc43
2.44.3-3.fc43
2
llvm-libs
21.1.2-1.fc43
21.1.3-1.fc43
2
vim-filesystem
2:9.1.1818-1.fc43
2:9.1.1863-1.fc43
2
clang-libs
21.1.2-1.fc43
21.1.3-1.fc43
2
netpbm
11.10.00-2.fc43
11.12.00-1.fc43
3
systemd-standalone-sysusers
258-1.fc43
258.1-1.fc43
3
libedit
3.1-56.20250104cv...
3.1-57.20251016cv...
3
llvm-filesystem
21.1.2-1.fc43
21.1.3-1.fc43
3
gdk-pixbuf2-devel
2.44.3-1.fc43
2.44.3-3.fc43
3
atk-devel
2.58.0-2.fc43
2.58.1-1.fc43
3
libtinysparql
3.10.0-1.fc43
3.10.1-1.fc43
3
atk
2.58.0-2.fc43
2.58.1-1.fc43
3
openssl-libs
1:3.5.1-2.fc43
1:3.5.4-1.fc43
3
at-spi2-atk-devel
2.58.0-2.fc43
2.58.1-1.fc43
3
clang-resource-filesystem
21.1.2-1.fc43
21.1.3-1.fc43
3
at-spi2-atk
2.58.0-2.fc43
2.58.1-1.fc43
3
xkeyboard-config
2.45-1.fc43
2.46-1.fc43
4
kernel-headers
6.17.0-63.fc43
6.17.4-300.fc43
4
nspr
4.37.0-3.fc43
4.37.0-4.fc43
4
at-spi2-core-devel
2.58.0-2.fc43
2.58.1-1.fc43
4
at-spi2-core
2.58.0-2.fc43
2.58.1-1.fc43
4
google-noto-sans-vf-fonts
20250901-1.fc43
20251001-1.fc43
4
nss
3.115.1-1.fc43
3.116.0-1.fc43
4
mesa-libGL
25.2.4-2.fc43
25.2.5-1.fc43
B
hwdata
0.399-1.fc43
0.400-1.fc43
B
mesa-libgbm
25.2.4-2.fc43
25.2.5-1.fc43
B
nss-sysinit
3.115.1-1.fc43
3.116.0-1.fc43
B
pandoc
3.6.4-37.fc43
nss-util
3.115.1-1.fc43
3.116.0-1.fc43
B
mesa-dri-drivers
25.2.4-2.fc43
25.2.5-1.fc43
B
libdrm
2.4.125-2.fc43
2.4.127-1.fc43
B
libjxl
1:0.11.1-5.fc43
1:0.11.1-6.fc43
B
nss-softokn-freebl
3.115.1-1.fc43
3.116.0-1.fc43
B
systemd-rpm-macros
258-1.fc43
258.1-1.fc43
B
mesa-libEGL
25.2.4-2.fc43
25.2.5-1.fc43
B
google-noto-fonts-common
20250901-1.fc43
20251001-1.fc43
B
systemd-devel
258-1.fc43
258.1-1.fc43
B
mesa-filesystem
25.2.4-2.fc43
25.2.5-1.fc43
B
nss-softokn
3.115.1-1.fc43
3.116.0-1.fc43
B
complete
138153705
2025-10-15 00:15:41
aarch64
├138153785 ( build.log | root.log )
ppc64le
├138153783 ( build.log | root.log )
x86_64
└138153784 ( build.log | root.log )
python3-devel
3.14.0~rc3-1.fc43
3.14.0-1.fc43
1
python3
3.14.0~rc3-1.fc43
3.14.0-1.fc43
2
python3-libs
3.14.0~rc3-1.fc43
3.14.0-1.fc43
2
gtk3
3.24.51-1.fc43
3.24.51-2.fc43
2
gtk3-devel
3.24.51-1.fc43
3.24.51-2.fc43
2
vim-filesystem
2:9.1.1775-1.fc43
2:9.1.1818-1.fc43
2
glycin-libs
2.0.2-1.fc43
2.0.3-1.fc43
3
libavif
1.1.1-5.fc43
1.3.0-2.fc43
3
gtk-update-icon-cache
3.24.51-1.fc43
3.24.51-2.fc43
3
cups-libs
1:2.4.14-1.fc43
1:2.4.14-2.fc43
3
openjpeg
2.5.3-8.fc43
2.5.4-1.fc43
3
gap-srpm-macros
1-1.fc43
2-1.fc43
3
cups-filesystem
1:2.4.14-1.fc43
1:2.4.14-2.fc43
4
glycin-loaders
2.0.2-1.fc43
2.0.3-1.fc43
4
svt-av1-libs
2.3.0-2.fc43
3.1.2-1.fc43
4
glycin-devel
2.0.2-1.fc43
2.0.3-1.fc43
4
fedora-gpg-keys
43-0.4
43-1
B
fedora-release-identity-basic
43-0.22
43-25
B
mesa-libEGL
25.2.3-2.fc43
25.2.4-2.fc43
B
fedora-repos
43-0.4
43-1
B
fedora-release-common
43-0.22
43-25
B
mesa-libgbm
25.2.3-2.fc43
25.2.4-2.fc43
B
mesa-filesystem
25.2.3-2.fc43
25.2.4-2.fc43
B
libheif
1.20.2-5.fc43
1.20.2-6.fc43
B
mesa-libGL
25.2.3-2.fc43
25.2.4-2.fc43
B
mesa-dri-drivers
25.2.3-2.fc43
25.2.4-2.fc43
B
fedora-release
43-0.22
43-25
B
cpuinfo
24.09.26-2.git1e83a2f....
complete
137722414
2025-10-03 08:32:22
aarch64
├137722505 ( build.log | root.log )
ppc64le
├137722501 ( build.log | root.log )
x86_64
└137722506 ( build.log | root.log )
clang
21.1.1-1.fc43
21.1.2-1.fc43
1
libgccjit
15.2.1-1.fc43.2
15.2.1-2.fc43
2
llvm-libs
21.1.1-1.fc43
21.1.2-1.fc43
2
harfbuzz
11.5.0-1.fc43
11.5.1-1.fc43
2
gcc
15.2.1-1.fc43.2
15.2.1-2.fc43
2
libgcc
15.2.1-1.fc43.2
15.2.1-2.fc43
2
gtk3
3.24.49-5.fc43
3.24.51-1.fc43
2
gtk3-devel
3.24.49-5.fc43
3.24.51-1.fc43
2
libstdc++
15.2.1-1.fc43.2
15.2.1-2.fc43
2
gdk-pixbuf2
2.44.2-1.fc43
2.44.3-1.fc43
2
gcc-c++
15.2.1-1.fc43.2
15.2.1-2.fc43
2
libxml2
2.12.10-4.fc43
2.12.10-5.fc43
2
libuuid
2.41.1-16.fc43
2.41.1-17.fc43
2
libstdc++-devel
15.2.1-1.fc43.2
15.2.1-2.fc43
2
glib2
2.86.0-1.fc43
2.86.0-2.fc43
2
clang-libs
21.1.1-1.fc43
21.1.2-1.fc43
2
libepoxy
1.5.10-10.fc43
1.5.10-11.fc43
3
gtk-update-icon-cache
3.24.49-5.fc43
3.24.51-1.fc43
3
clang-resource-filesystem
21.1.1-1.fc43
21.1.2-1.fc43
3
cpp
15.2.1-1.fc43.2
15.2.1-2.fc43
3
libxml2-devel
2.12.10-4.fc43
2.12.10-5.fc43
3
gcc-plugin-annobin
15.2.1-1.fc43.2
15.2.1-2.fc43
3
glib2-devel
2.86.0-1.fc43
2.86.0-2.fc43
3
coreutils
9.7-5.fc43
9.7-6.fc43
3
libepoxy-devel
1.5.10-10.fc43
1.5.10-11.fc43
3
util-linux
2.41.1-16.fc43
2.41.1-17.fc43
3
llvm-filesystem
21.1.1-1.fc43
21.1.2-1.fc43
3
libmount
2.41.1-16.fc43
2.41.1-17.fc43
3
libgomp
15.2.1-1.fc43.2
15.2.1-2.fc43
3
gdk-pixbuf2-devel
2.44.2-1.fc43
2.44.3-1.fc43
3
python-pip-wheel
25.1.1-16.fc43
25.1.1-18.fc43
3
glycin-libs
2.0.0-1.fc43
2.0.2-1.fc43
3
harfbuzz-devel
11.5.0-1.fc43
11.5.1-1.fc43
4
glycin-devel
2.0.0-1.fc43
2.0.2-1.fc43
4
coreutils-common
9.7-5.fc43
9.7-6.fc43
4
libmount-devel
2.41.1-16.fc43
2.41.1-17.fc43
4
libfdisk
2.41.1-16.fc43
2.41.1-17.fc43
4
util-linux-core
2.41.1-16.fc43
2.41.1-17.fc43
4
glycin-loaders
2.0.0-1.fc43
2.0.2-1.fc43
4
libsmartcols
2.41.1-16.fc43
2.41.1-17.fc43
4
gdb-minimal
16.3-5.fc43
16.3-6.fc43
4
libstemmer
3.0.1-7.fc43
3.0.1-8.fc43
4
gpgmepp
1.24.3-5.fc43
1.24.3-6.fc43
4
liblastlog2
2.41.1-16.fc43
2.41.1-17.fc43
4
libcap-ng
0.8.5-7.fc43
0.8.5-8.fc43
4
libblkid
2.41.1-16.fc43
2.41.1-17.fc43
4
libblkid-devel
2.41.1-16.fc43
2.41.1-17.fc43
B
harfbuzz-icu
11.5.0-1.fc43
11.5.1-1.fc43
B
gpgme
1.24.3-5.fc43
1.24.3-6.fc43
B
gnulib-l10n
20241231-1.fc43
B
harfbuzz-cairo
11.5.0-1.fc43
11.5.1-1.fc43
B
libquadmath
15.2.1-1.fc43.2
15.2.1-2.fc43
B
perl-URI
5.32-2.fc43
5.34-1.fc43
B
libsemanage
3.9-3.fc43
3.9-4.fc43
B
libgfortran
15.2.1-1.fc43.2
15.2.1-2.fc43
B
complete
137633798
2025-09-30 04:42:29
aarch64
├137633892 ( build.log | root.log )
ppc64le
├137633891 ( build.log | root.log )
x86_64
└137633893 ( build.log | root.log )
why3
1.8.1-8.fc43
1.8.2-1.fc43
1
ocaml-menhir
20250903-1.fc43
20250912-1.fc43
1
ocaml-why3-devel
1.8.1-8.fc43
1.8.2-1.fc43
1
alt-ergo
2.3.3-27.fc43
2.3.3-28.fc43
1
z3
4.15.3-1.fc43
4.15.3-2.fc43
1
ocaml-alt-ergo-lib
2.3.3-27.fc43
2.3.3-28.fc43
2
rpm-libs
5.99.91-5.fc43
6.0.0-1.fc43
2
ocaml-alt-ergo-parsers
2.3.3-27.fc43
2.3.3-28.fc43
2
libselinux
3.9-4.fc43
3.9-5.fc43
2
ocaml-menhirlib-devel
20250903-1.fc43
20250912-1.fc43
2
ocaml-menhirlib
20250903-1.fc43
20250912-1.fc43
2
ocaml-why3
1.8.1-8.fc43
1.8.2-1.fc43
2
gdk-pixbuf2
2.44.1-1.fc43
2.44.2-1.fc43
2
atk-devel
2.58.0-1.fc43
2.58.0-2.fc43
3
libbrotli
1.1.0-9.fc43
1.1.0-10.fc43
3
file
5.46-7.fc43
5.46-8.fc43
3
rpm-build
5.99.91-5.fc43
6.0.0-1.fc43
3
ocaml-psmt2-frontend
0.4.0-25.fc43
0.4.0-26.fc43
3
atk
2.58.0-1.fc43
2.58.0-2.fc43
3
rpm
5.99.91-5.fc43
6.0.0-1.fc43
3
gdk-pixbuf2-devel
2.44.1-1.fc43
2.44.2-1.fc43
3
at-spi2-atk-devel
2.58.0-1.fc43
2.58.0-2.fc43
3
at-spi2-atk
2.58.0-1.fc43
2.58.0-2.fc43
3
rpm-build-libs
5.99.91-5.fc43
6.0.0-1.fc43
4
at-spi2-core
2.58.0-1.fc43
2.58.0-2.fc43
4
at-spi2-core-devel
2.58.0-1.fc43
2.58.0-2.fc43
4
libselinux-devel
3.9-4.fc43
3.9-5.fc43
4
kernel-headers
6.17.0-0.rc7.56.fc43
6.17.0-63.fc43
4
file-libs
5.46-7.fc43
5.46-8.fc43
4
mesa-filesystem
25.2.2-6.fc43
25.2.3-2.fc43
B
mesa-libEGL
25.2.2-6.fc43
25.2.3-2.fc43
B
mesa-dri-drivers
25.2.2-6.fc43
25.2.3-2.fc43
B
brotli-devel
1.1.0-9.fc43
1.1.0-10.fc43
B
brotli
1.1.0-9.fc43
1.1.0-10.fc43
B
mesa-libGL
25.2.2-6.fc43
25.2.3-2.fc43
B
rpm-sign-libs
5.99.91-5.fc43
6.0.0-1.fc43
B
mesa-libgbm
25.2.2-6.fc43
25.2.3-2.fc43
B
libheif
1.20.2-4.fc43
1.20.2-5.fc43
B
complete
137459590
2025-09-25 01:40:17
aarch64
├137459702 ( build.log | root.log )
ppc64le
├137459701 ( build.log | root.log )
x86_64
└137459703 ( build.log | root.log )
ocaml-dune
3.20.1-1.fc43
3.20.2-1.fc43
1
ocaml-dune-site-devel
3.20.1-1.fc43
3.20.2-1.fc43
1
ocaml-dune-configurator-devel
3.20.1-1.fc43
3.20.2-1.fc43
1
python3-devel
3.14.0~rc2-1.fc43
3.14.0~rc3-1.fc43
1
python3
3.14.0~rc2-1.fc43
3.14.0~rc3-1.fc43
2
libstdc++
15.2.1-1.fc43.1
15.2.1-1.fc43.2
2
zlib-ng
2.2.5-1.fc43
2.2.5-2.fc43
2
expat
2.7.1-3.fc43
2.7.2-1.fc43
2
ocaml-dune-site
3.20.1-1.fc43
3.20.2-1.fc43
2
libgcc
15.2.1-1.fc43.1
15.2.1-1.fc43.2
2
gcc-c++
15.2.1-1.fc43.1
15.2.1-1.fc43.2
2
libstdc++-devel
15.2.1-1.fc43.1
15.2.1-1.fc43.2
2
ocaml-dune-private-libs
3.20.1-1.fc43
3.20.2-1.fc43
2
gcc
15.2.1-1.fc43.1
15.2.1-1.fc43.2
2
ocaml-dune-private-libs-devel
3.20.1-1.fc43
3.20.2-1.fc43
2
harfbuzz
11.4.5-1.fc43
11.5.0-1.fc43
2
python3-libs
3.14.0~rc2-1.fc43
3.14.0~rc3-1.fc43
2
libgccjit
15.2.1-1.fc43.1
15.2.1-1.fc43.2
2
systemd-libs
258~rc4-1.fc43
258-1.fc43
2
vim-filesystem
2:9.1.1723-2.fc43
2:9.1.1775-1.fc43
2
ocaml-stdune-devel
3.20.1-1.fc43
3.20.2-1.fc43
2
zlib-ng-compat
2.2.5-1.fc43
2.2.5-2.fc43
2
ocaml-dune-configurator
3.20.1-1.fc43
3.20.2-1.fc43
2
zlib-ng-devel
2.2.5-1.fc43
2.2.5-2.fc43
2
systemd-standalone-sysusers
258~rc4-1.fc43
258-1.fc43
3
libjpeg-turbo
3.1.1-2.fc43
3.1.2-1.fc43
3
ocaml-stdune
3.20.1-1.fc43
3.20.2-1.fc43
3
libavif
1.1.1-4.fc43
1.1.1-5.fc43
3
glycin-libs
2.0~rc-3.fc43
2.0.0-1.fc43
3
ocaml-dyn-devel
3.20.1-1.fc43
3.20.2-1.fc43
3
gcc-plugin-annobin
15.2.1-1.fc43.1
15.2.1-1.fc43.2
3
python3-packaging
25.0-5.fc43
25.0-7.fc43
3
ocaml-ordering-devel
3.20.1-1.fc43
3.20.2-1.fc43
3
ocaml-ordering
3.20.1-1.fc43
3.20.2-1.fc43
3
go-srpm-macros
3.7.0-4.fc43
3.8.0-1.fc43
3
ocaml-dyn
3.20.1-1.fc43
3.20.2-1.fc43
3
libgomp
15.2.1-1.fc43.1
15.2.1-1.fc43.2
3
crypto-policies
20250714-4.gitcd6043a....
20250714-5.gitcd6043a....
3
libssh
0.11.2-2.fc43
0.11.3-1.fc43
3
cpp
15.2.1-1.fc43.1
15.2.1-1.fc43.2
3
glycin-devel
2.0~rc-3.fc43
2.0.0-1.fc43
4
libaom
3.12.0-3.fc43
3.13.1-1.fc43
4
harfbuzz-devel
11.4.5-1.fc43
11.5.0-1.fc43
4
google-noto-sans-vf-fonts
20250801-4.fc43
20250901-1.fc43
4
zlib-ng-compat-devel
2.2.5-1.fc43
2.2.5-2.fc43
4
libssh-config
0.11.2-2.fc43
0.11.3-1.fc43
4
libsoup3
3.6.5-4.fc43
3.6.5-8.fc43
4
glycin-loaders
2.0~rc-3.fc43
2.0.0-1.fc43
4
kernel-headers
6.17.0-0.rc6.49.fc43
6.17.0-0.rc7.56.fc43
4
libgfortran
15.2.1-1.fc43.1
15.2.1-1.fc43.2
B
systemd-rpm-macros
258~rc4-1.fc43
258-1.fc43
B
harfbuzz-icu
11.4.5-1.fc43
11.5.0-1.fc43
B
harfbuzz-cairo
11.4.5-1.fc43
11.5.0-1.fc43
B
systemd-devel
258~rc4-1.fc43
258-1.fc43
B
google-noto-fonts-common
20250801-4.fc43
20250901-1.fc43
B
libquadmath
15.2.1-1.fc43.1
15.2.1-1.fc43.2
B
libjxl
1:0.11.1-4.fc43
1:0.11.1-5.fc43
B
groff-base
1.23.0-9.fc43
1.23.0-10.fc43
B
complete
137225493
2025-09-18 08:09:50
aarch64
├137225614 ( build.log | root.log )
ppc64le
├137225612 ( build.log | root.log )
x86_64
└137225613 ( build.log | root.log )
clang
21.1.0-1.fc43
21.1.1-1.fc43
1
pango
1.56.4-2.fc43
1.57.0-1.fc43
2
glib2
2.85.4-1.fc43
2.86.0-1.fc43
2
json-glib
1.10.6-3.fc43
1.10.8-1.fc43
2
clang-libs
21.1.0-1.fc43
21.1.1-1.fc43
2
pcre2-utf32
10.45-1.fc43.1
10.46-1.fc43
2
llvm-libs
21.1.0-1.fc43
21.1.1-1.fc43
2
gdk-pixbuf2
2.44.0-1.fc43
2.44.1-1.fc43
2
pyproject-rpm-macros
1.18.3-2.fc43
1.18.4-1.fc43
2
glib2-devel
2.85.4-1.fc43
2.86.0-1.fc43
3
llvm-filesystem
21.1.0-1.fc43
21.1.1-1.fc43
3
at-spi2-atk-devel
2.57.2-1.fc43
2.58.0-1.fc43
3
gdk-pixbuf2-devel
2.44.0-1.fc43
2.44.1-1.fc43
3
p11-kit
0.25.5-10.fc43
0.25.8-1.fc43
3
p11-kit-trust
0.25.5-10.fc43
0.25.8-1.fc43
3
pcre2-syntax
10.45-1.fc43.1
10.46-1.fc43
3
libtinysparql
3.10~rc.1-1.fc43
3.10.0-1.fc43
3
pcre2
10.45-1.fc43.1
10.46-1.fc43
3
atk-devel
2.57.2-1.fc43
2.58.0-1.fc43
3
openldap
2.6.10-3.fc43
2.6.10-4.fc43
3
cups-libs
1:2.4.12-4.fc43
1:2.4.14-1.fc43
3
pyproject-srpm-macros
1.18.3-2.fc43
1.18.4-1.fc43
3
atk
2.57.2-1.fc43
2.58.0-1.fc43
3
pango-devel
1.56.4-2.fc43
1.57.0-1.fc43
3
adwaita-icon-theme
49~rc-1.fc43
49.0-1.fc43
3
clang-resource-filesystem
21.1.0-1.fc43
21.1.1-1.fc43
3
qt6-srpm-macros
6.9.1-2.fc43
6.9.2-1.fc43
3
at-spi2-atk
2.57.2-1.fc43
2.58.0-1.fc43
3
sysprof-capture-devel
49~rc-1.fc43
49.0-1.fc43
4
kernel-headers
6.17.0-0.rc5.42.fc43
6.17.0-0.rc6.49.fc43
4
adwaita-cursor-theme
49~rc-1.fc43
49.0-1.fc43
4
at-spi2-core-devel
2.57.2-1.fc43
2.58.0-1.fc43
4
nspr
4.37.0-2.fc43
4.37.0-3.fc43
4
pcre2-devel
10.45-1.fc43.1
10.46-1.fc43
4
cups-filesystem
1:2.4.12-4.fc43
1:2.4.14-1.fc43
4
at-spi2-core
2.57.2-1.fc43
2.58.0-1.fc43
4
nss
3.114.0-2.fc43
3.115.1-1.fc43
4
pcre2-utf16
10.45-1.fc43.1
10.46-1.fc43
B
nss-sysinit
3.114.0-2.fc43
3.115.1-1.fc43
B
mesa-filesystem
25.1.4-2.fc43
25.2.2-6.fc43
B
nss-softokn
3.114.0-2.fc43
3.115.1-1.fc43
B
hwdata
0.398-1.fc43
0.399-1.fc43
B
nss-util
3.114.0-2.fc43
3.115.1-1.fc43
B
mesa-dri-drivers
25.1.4-2.fc43
25.2.2-6.fc43
B
mesa-libEGL
25.1.4-2.fc43
25.2.2-6.fc43
B
mesa-libgbm
25.1.4-2.fc43
25.2.2-6.fc43
B
nss-softokn-freebl
3.114.0-2.fc43
3.115.1-1.fc43
B
mesa-libGL
25.1.4-2.fc43
25.2.2-6.fc43
B
Real build: frama-c-31.0-6.fc43
complete
137186755
2025-09-16 23:19:51
aarch64
├137186880 ( build.log | root.log )
ppc64le
├137186881 ( build.log | root.log )
s390x
├137186882 ( build.log | root.log )
x86_64
└137186879 ( build.log | root.log )
No dependency changes
Previous history
Koschei version 792b588
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues