Koschei
Collections
Packages
Groups
Stats
Log in
Search
frama-c
Fedora Rawhide
Fedora 41
Fedora 40
Fedora 39
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
1796
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
libgcc
13.3.1-
1
.fc39
13.3.1-
3
.fc39
2
libstdc++-devel
13.3.1-
1
.fc39
13.3.1-
3
.fc39
2
libstdc++
13.3.1-
1
.fc39
13.3.1-
3
.fc39
2
libgccjit
13.3.1-
1
.fc39
13.3.1-
3
.fc39
2
vim-filesystem
2:9.1.
672
-1.fc39
2:9.1.
719
-1.fc39
2
gcc-c++
13.3.1-
1
.fc39
13.3.1-
3
.fc39
2
gcc
13.3.1-
1
.fc39
13.3.1-
3
.fc39
2
gcc-plugin-annobin
13.3.1-
1
.fc39
13.3.1-
3
.fc39
3
rpmautospec-rpm-macros
0.
6
.5-1.fc39
0.
7
.2-1.fc39
3
cups-libs
1:2.4.10-
3
.fc39
1:2.4.10-
6
.fc39
3
cpp
13.3.1-
1
.fc39
13.3.1-
3
.fc39
3
libgomp
13.3.1-
1
.fc39
13.3.1-
3
.fc39
3
gdb-minimal
14
.2-2.fc39
15
.1-1.fc39
4
libquadmath
13.3.1-
1
.fc39
13.3.1-
3
.fc39
B
libgfortran
13.3.1-
1
.fc39
13.3.1-
3
.fc39
B
show 5 more
collapse
State overview
Fedora Rawhide
Fedora 41
Fedora 40
Fedora 39
Groups
This package is not part of any global group.
Historical builds