Koschei
Collections
Packages
Groups
Stats
Log in
Search
frama-c
Fedora Rawhide
Fedora 42
Fedora 41
Fedora 40
EPEL 10.1
EPEL 10.0
EPEL 9 NEXT
EPEL 9
EPEL 8
Package information
State
ok
Packages
Bodhi
Dist-git
Bugzilla
Koji
File new FTBFS bug
Scheduler parameters
Tracked by Koschei
True
Current priority
4151
Manual priority
0
Static priority
0
Arch override
None
Skip resolution
False
Configure scheduling
Tracked by Koschei
Manual priority
Skip resolution
Arch override
Cancel
Save
Dependency changes since last build
emacs-nw
1:29
.4-53.fc43
1:30
.1-3.fc43
1
clang
19.1.7-
9
.fc43
19.1.7-
11
.fc43
1
libgccjit
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
2
libuuid
2.40.4-
6
.fc43
2.40.4-
7
.fc43
2
libgcc
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
2
gcc-c++
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
2
libstdc++-devel
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
2
emacs-common
1:29
.4-53.fc43
1:30
.1-3.fc43
2
libstdc++
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
2
clang-libs
19.1.7-
9
.fc43
19.1.7-
11
.fc43
2
zlib-ng-compat
2.2.4-
1
.fc43
2.2.4-
2
.fc43
2
zlib-ng
2.2.4-
1
.fc43
2.2.4-
2
.fc43
2
llvm-libs
19.1.7-
9
.fc43
19.1.7-
11
.fc43
2
gcc
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
2
libarchive
3.7.7-2.
fc42
3.7.7-2.
fc43
2
openssl-libs
1:3.2.4-
1
.fc43
1:3.2.4-
2
.fc43
3
gcc-plugin-annobin
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
3
llvm-filesystem
19.1.7-
9
.fc43
19.1.7-
11
.fc43
3
clang-resource-filesystem
19.1.7-
9
.fc43
19.1.7-
11
.fc43
3
libmount
2.40.4-
6
.fc43
2.40.4-
7
.fc43
3
cpp
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
3
coreutils
9.6-
1
.fc42
9.6-
2
.fc43
3
libgomp
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
3
zlib-ng-devel
2.2.4-
1
.fc43
2.2.4-
2
.fc43
3
util-linux
2.40.4-
6
.fc43
2.40.4-
7
.fc43
3
emacsclient
1:29
.4-53.fc43
1:30
.1-3.fc43
3
suitesparse
7.
8
.3-1.fc42
7.
9
.0-1.fc43
4
cmake-filesystem
3
.31.5-1.fc42
4
.0.0~rc2-1.fc43
4
debugedit
5.1-
4
.fc42
5.1-
5
.fc43
4
util-linux-core
2.40.4-
6
.fc43
2.40.4-
7
.fc43
4
libfdisk
2.40.4-
6
.fc43
2.40.4-
7
.fc43
4
libsmartcols
2.40.4-
6
.fc43
2.40.4-
7
.fc43
4
libmount-devel
2.40.4-
6
.fc43
2.40.4-
7
.fc43
4
zlib-ng-compat-devel
2.2.4-
1
.fc43
2.2.4-
2
.fc43
4
kernel-headers
6.14.0-0.
rc3
.29.fc43
6.14.0-0.
rc4
.36.fc43
4
libblkid
2.40.4-
6
.fc43
2.40.4-
7
.fc43
4
coreutils-common
9.6-
1
.fc42
9.6-
2
.fc43
4
libquadmath
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
B
libblkid-devel
2.40.4-
6
.fc43
2.40.4-
7
.fc43
B
libgfortran
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
B
show 30 more
collapse
State overview
Fedora Rawhide
Fedora 42
Fedora 41
Fedora 40
Groups
This package is not part of any global group.
Historical builds
ok