frama-c

Package information

State
ok

Scheduler parameters

Tracked by Koschei
True
Current priority
241
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

No dependency changes

Groups

This package is not part of any global group.

Most recent builds

python3-devel
3.10.0~b4-1.fc35
3.10.0~b4-2.fc35
1
ocaml-lablgtk3-sourceview3-devel
3.1.1-6.fc35
3.1.1-7.fc35
1
ocaml-lablgtk3-devel
3.1.1-6.fc35
3.1.1-7.fc35
1
emacs
1:27.2-6.fc35
1:27.2-7.fc35
1
graphviz
2.47.3-1.fc35
2.48.0-1.fc35
1
libcurl
7.77.0-2.fc35
7.78.0-3.fc35
2
ocaml-lablgtk3
3.1.1-6.fc35
3.1.1-7.fc35
2
systemd-libs
249-1.fc35
249.2-1.fc35
2
fontconfig
2.13.94-1.fc35
2.13.94-2.fc35
2
glib2
2.68.3-12.fc35
2.69.0-1.fc35
2
clang-libs
12.0.1~rc3-1.fc35
12.0.1-1.fc35
2
gd
2.3.2-5.fc35
2.3.2-8.fc35
2
python3-libs
3.10.0~b4-1.fc35
3.10.0~b4-2.fc35
2
pyproject-rpm-macros
0-46.fc35
2
llvm-libs
12.0.1~rc3-1.fc35
12.0.1-1.fc35
2
emacs-filesystem
1:27.2-6.fc35
1:27.2-7.fc35
2
freetype
2.10.4-3.fc34
2.11.0-1.fc35
2
ocaml-lablgtk3-sourceview3
3.1.1-6.fc35
3.1.1-7.fc35
2
vim-filesystem
2:8.2.3154-1.fc35
2:8.2.3182-1.fc35
2
python3
3.10.0~b4-1.fc35
3.10.0~b4-2.fc35
2
glibc
2.33.9000-42.fc35
2.33.9000-43.fc35
2
alternatives
1.15-2.fc34
1.19-1.fc35
2
zlib
1.2.11-26.fc35
1.2.11-27.fc35
2
redhat-rpm-config
191-1.fc35
192-1.fc35
2
emacs-common
1:27.2-6.fc35
1:27.2-7.fc35
2
fontconfig-devel
2.13.94-1.fc35
2.13.94-2.fc35
3
netpbm
10.94.05-1.fc35
10.95.00-1.fc35
3
bzip2-libs
1.0.8-6.fc34
1.0.8-8.fc35
3
clang-resource-filesystem
12.0.1~rc3-1.fc35
12.0.1-1.fc35
3
perl-Encode
4:3.10-477.fc35
4:3.11-479.fc35
3
freetype-devel
2.10.4-3.fc34
2.11.0-1.fc35
3
glibc-devel
2.33.9000-42.fc35
2.33.9000-43.fc35
3
glibc-gconv-extra
2.33.9000-42.fc35
2.33.9000-43.fc35
3
glib2-devel
2.68.3-12.fc35
2.69.0-1.fc35
3
krb5-libs
1.19.1-14.fc35
1.19.1-15.fc35
3
python-setuptools-wheel
57.1.0-1.fc35
57.1.0-2.fc35
3
annobin-plugin-gcc
9.82-1.fc35
9.83-1.fc35
3
perl-encoding
4:3.00-477.fc35
4:3.00-479.fc35
3
libidn2
2.3.1-1.fc35
2.3.2-1.fc35
3
glibc-common
2.33.9000-42.fc35
2.33.9000-43.fc35
3
glibc-minimal-langpack
2.33.9000-42.fc35
2.33.9000-43.fc35
3
libnghttp2
1.43.0-2.fc35
1.44.0-1.fc35
3
pcre2
10.36-4.fc35
10.37-3.fc35
3
libavif
0.9.1-2.fc35
0.9.2-1.fc35
3
libunwind
1.4.0-5.fc34
1.5.0-1.fc35
4
flexiblas-netlib
3.0.4-4.fc35
3.0.4-5.fc35
4
curl
7.77.0-2.fc35
7.78.0-3.fc35
4
elfutils-libelf
0.185-1.fc35
0.185-3.fc35
4
cmake-filesystem
3.21.0-4.rc3.fc35
3.21.0-5.fc35
4
mesa-libGL
21.1.4-1.fc35
21.1.5-1.fc35
4
elfutils-libs
0.185-1.fc35
0.185-3.fc35
4
glibc-headers-x86
2.33.9000-42.fc35
2.33.9000-43.fc35
4
annobin-docs
9.82-1.fc35
9.83-1.fc35
4
mesa-libEGL
21.1.4-1.fc35
21.1.5-1.fc35
4
gsettings-desktop-schemas
40.0-1.fc35
40.0-2.fc35
4
bzip2-devel
1.0.8-6.fc34
1.0.8-8.fc35
4
elfutils-debuginfod-client
0.185-1.fc35
0.185-3.fc35
4
zlib-devel
1.2.11-26.fc35
1.2.11-27.fc35
4
graphene
1.10.6-1.fc35
1.10.6-2.fc35
4
setup
2.13.8-1.fc35
2.13.9.1-1.fc35
4
pcre2-syntax
10.36-4.fc35
10.37-3.fc35
4
kernel-headers
5.14.0-0.rc1.git0.1....
5.14.0-0.rc2.git0.1....
4
mesa-libgbm
21.1.4-1.fc35
21.1.5-1.fc35
B
flexiblas
3.0.4-4.fc35
3.0.4-5.fc35
B
mesa-libglapi
21.1.4-1.fc35
21.1.5-1.fc35
B
systemd
249-1.fc35
249.2-1.fc35
B
elfutils-default-yama-scope
0.185-1.fc35
0.185-3.fc35
B
systemd-rpm-macros
249-1.fc35
249.2-1.fc35
B
elfutils
0.185-1.fc35
0.185-3.fc35
B
flexiblas-openblas-openmp
3.0.4-4.fc35
3.0.4-5.fc35
B
openblas
0.3.16-1.fc35
0.3.17-1.fc35
B
openblas-openmp
0.3.16-1.fc35
0.3.17-1.fc35
B
gdb-minimal
10.2-4.fc35
10.2-5.fc35
B
pcre2-devel
10.36-4.fc35
10.37-3.fc35
B
systemd-pam
249-1.fc35
249.2-1.fc35
B
bzip2
1.0.8-6.fc34
1.0.8-8.fc35
B
info
6.7-11.fc35
6.8-1.fc35
B
pcre2-utf16
10.36-4.fc35
10.37-3.fc35
B
pcre2-utf32
10.36-4.fc35
10.37-3.fc35
B
Real build: frama-c-23.0-2.fc35
Dependencies for this build couldn't be processed
Real build: frama-c-23.0-1.fc35
why3
1.3.3-9.fc35
1.4.0-1.fc35
1
z3
4.8.11-1.fc35
4.8.12-1.fc35
1
python3-devel
3.10.0~b3-1.fc35
3.10.0~b4-1.fc35
1
ocaml-why3-devel
1.3.3-9.fc35
1.4.0-1.fc35
1
pango
1.48.5-1.fc35
1.48.7-1.fc35
2
glibc
2.33.9000-39.fc35
2.33.9000-42.fc35
2
harfbuzz
2.8.1-2.fc35
2.8.2-1.fc35
2
vim-filesystem
2:8.2.3070-1.fc35
2:8.2.3154-1.fc35
2
flocq
3.4.0-6.fc35
3.4.2-1.fc35
2
webkit2gtk3
2.33.2-2.fc35
2.33.2-4.fc35
2
gtk3
3.24.29-1.fc35
3.24.30-1.fc35
2
python3-libs
3.10.0~b3-1.fc35
3.10.0~b4-1.fc35
2
gtk3-devel
3.24.29-1.fc35
3.24.30-1.fc35
2
ocaml-why3
1.3.3-9.fc35
1.4.0-1.fc35
2
python3
3.10.0~b3-1.fc35
3.10.0~b4-1.fc35
2
webkit2gtk3-jsc
2.33.2-2.fc35
2.33.2-4.fc35
2
pango-devel
1.48.5-1.fc35
1.48.7-1.fc35
2
glib2
2.68.3-4.fc35
2.68.3-12.fc35
2
rust-srpm-macros
17-2.fc34
18-1.fc35
3
glibc-minimal-langpack
2.33.9000-39.fc35
2.33.9000-42.fc35
3
libmount
2.37-2.fc35
2.37-5.fc35
3
sqlite-libs
3.36.0-1.fc35
3.36.0-2.fc35
3
glibc-gconv-extra
2.33.9000-39.fc35
2.33.9000-42.fc35
3
libuuid
2.37-2.fc35
2.37-5.fc35
3
annobin-plugin-gcc
9.80-1.fc35
9.82-1.fc35
3
util-linux
2.37-2.fc35
2.37-5.fc35
3
glibc-common
2.33.9000-39.fc35
2.33.9000-42.fc35
3
harfbuzz-devel
2.8.1-2.fc35
2.8.2-1.fc35
3
harfbuzz-icu
2.8.1-2.fc35
2.8.2-1.fc35
3
gtk-update-icon-cache
3.24.29-1.fc35
3.24.30-1.fc35
3
libedit
3.1-37.20210522cv...
3.1-38.20210714cv...
3
glib2-devel
2.68.3-4.fc35
2.68.3-12.fc35
3
glibc-devel
2.33.9000-39.fc35
2.33.9000-42.fc35
3
krb5-libs
1.19.1-12.fc35
1.19.1-14.fc35
3
kernel-headers
5.13.0-1.fc35
5.14.0-0.rc1.git0.1....
4
libsmartcols
2.37-2.fc35
2.37-5.fc35
4
libmount-devel
2.37-2.fc35
2.37-5.fc35
4
libfdisk
2.37-2.fc35
2.37-5.fc35
4
util-linux-core
2.37-2.fc35
2.37-5.fc35
4
annobin-docs
9.80-1.fc35
9.82-1.fc35
4
libblkid
2.37-2.fc35
2.37-5.fc35
4
audit-libs
3.0.2-2.fc35
3.0.3-1.fc35
4
glibc-headers-x86
2.33.9000-39.fc35
2.33.9000-42.fc35
4
openblas-openmp
0.3.15-1.fc35
0.3.16-1.fc35
B
shadow-utils
2:4.8.1-16.fc35
2:4.8.1-19.fc35
B
libibverbs
35.0-2.fc35
36.0-1.fc35
B
libblkid-devel
2.37-2.fc35
2.37-5.fc35
B
fedora-release-identity-basic
35-0.7
35-0.11
B
openblas
0.3.15-1.fc35
0.3.16-1.fc35
B
fedora-release-common
35-0.7
35-0.11
B
json-glib
1.6.2-1.fc34
rest
0.8.1-9.fc34
fedora-release
35-0.7
35-0.11
B
glibc
2.33.9000-36.fc35
2.33.9000-39.fc35
2
redhat-rpm-config
189-1.fc35
191-1.fc35
2
systemd-libs
249~rc3-1.fc35
249-1.fc35
2
python-rpm-macros
3.10-4.fc35
3.10-6.fc35
2
coreutils
8.32-28.fc35
8.32-30.fc35
2
python3-rpm-macros
3.10-4.fc35
3.10-6.fc35
2
libattr
2.5.1-1.fc35
2.5.1-2.fc35
3
glibc-gconv-extra
2.33.9000-36.fc35
2.33.9000-39.fc35
3
annobin-plugin-gcc
9.79-1.fc35
9.80-1.fc35
3
python-srpm-macros
3.10-4.fc35
3.10-6.fc35
3
python3-packaging
20.9-3.fc35
21.0-1.fc35
3
python-pip-wheel
21.1.2-1.fc35
21.1.3-1.fc35
3
filesystem
3.14-5.fc34
3.14-6.fc35
3
python-setuptools-wheel
57.0.0-1.fc35
57.1.0-1.fc35
3
glibc-devel
2.33.9000-36.fc35
2.33.9000-39.fc35
3
coreutils-common
8.32-28.fc35
8.32-30.fc35
3
openldap
2.4.58-5.fc35
2.4.59-1.fc35
3
perl-Data-Dumper
2.182-1.fc35
2.183-1.fc35
3
glibc-common
2.33.9000-36.fc35
2.33.9000-39.fc35
3
json-c
0.14-8.fc34
0.15-1.fc35
3
glibc-minimal-langpack
2.33.9000-36.fc35
2.33.9000-39.fc35
3
annobin-docs
9.79-1.fc35
9.80-1.fc35
4
glibc-headers-x86
2.33.9000-36.fc35
2.33.9000-39.fc35
4
pam
1.5.1-7.fc35
1.5.1-8.fc35
4
rav1e-libs
0.4.1-1.fc35
0.4.1-2.fc35
4
cmake-filesystem
3.21.0-2.rc1.fc35
3.21.0-4.rc3.fc35
4
shadow-utils
2:4.8.1-15.fc35
2:4.8.1-16.fc35
B
hwdata
0.348-1.fc35
0.349-1.fc35
B
systemd-pam
249~rc3-1.fc35
249-1.fc35
B
libeconf
0.3.8-5.fc34
0.4.0-1.fc35
B
libdrm
2.4.105-1.fc35
2.4.107-1.fc35
B
systemd
249~rc3-1.fc35
249-1.fc35
B
cryptsetup-libs
2.4.0~rc0-1.fc35
2.4.0~rc0-2.fc35
B
systemd-rpm-macros
249~rc3-1.fc35
249-1.fc35
B
appstream
0.14.3-2.fc35
0.14.4-1.fc35
1
appstream-data
35-1.fc35
35-2.fc35
2
fontconfig
2.13.93-6.fc35
2.13.94-1.fc35
2
glibc
2.33.9000-29.fc35
2.33.9000-36.fc35
2
llvm-libs
12.0.1~rc1-1.fc35
12.0.1~rc3-1.fc35
2
glib2
2.68.3-2.fc35
2.68.3-4.fc35
2
redhat-rpm-config
188-1.fc35
189-1.fc35
2
python3-rpm-macros
3.10-2.fc35
3.10-4.fc35
2
vim-filesystem
2:8.2.3046-1.fc35
2:8.2.3070-1.fc35
2
clang-libs
12.0.1~rc1-3.fc35
12.0.1~rc3-1.fc35
2
coreutils
8.32-27.fc35
8.32-28.fc35
2
systemd-libs
249~rc2-1.fc35
249~rc3-1.fc35
2
python-rpm-macros
3.10-2.fc35
3.10-4.fc35
2
glibc-common
2.33.9000-29.fc35
2.33.9000-36.fc35
3
binutils
2.36.1-14.fc35
2.36.1-15.fc35
3
glibc-devel
2.33.9000-29.fc35
2.33.9000-36.fc35
3
krb5-libs
1.19.1-11.fc35
1.19.1-12.fc35
3
clang-resource-filesystem
12.0.1~rc1-3.fc35
12.0.1~rc3-1.fc35
3
python-srpm-macros
3.10-2.fc35
3.10-4.fc35
3
coreutils-common
8.32-27.fc35
8.32-28.fc35
3
perl-Data-Dumper
2.181-1.fc35
2.182-1.fc35
3
annobin-plugin-gcc
9.76-1.fc35
9.79-1.fc35
3
python3-pygments
2.8.1-4.fc35
2.9.0-1.fc35
3
glib2-devel
2.68.3-2.fc35
2.68.3-4.fc35
3
glibc-gconv-extra
2.33.9000-29.fc35
2.33.9000-36.fc35
3
glibc-minimal-langpack
2.33.9000-29.fc35
2.33.9000-36.fc35
3
fontconfig-devel
2.13.93-6.fc35
2.13.94-1.fc35
3
sqlite-libs
3.35.5-1.fc35
3.36.0-1.fc35
3
binutils-gold
2.36.1-14.fc35
2.36.1-15.fc35
4
audit-libs
3.0.2-1.fc35
3.0.2-2.fc35
4
kernel-headers
5.13.0-0.rc7.git0.1....
5.13.0-1.fc35
4
cmake-filesystem
3.21.0-1.rc1.fc35
3.21.0-2.rc1.fc35
4
mesa-libEGL
21.1.3-1.fc35
21.1.4-1.fc35
4
annobin-docs
9.76-1.fc35
9.79-1.fc35
4
mesa-libGL
21.1.3-1.fc35
21.1.4-1.fc35
4
glibc-headers-x86
2.33.9000-29.fc35
2.33.9000-36.fc35
4
systemd
249~rc2-1.fc35
249~rc3-1.fc35
B
systemd-pam
249~rc2-1.fc35
249~rc3-1.fc35
B
cryptsetup-libs
2.3.6-1.fc35
2.4.0~rc0-1.fc35
B
iptables-legacy-libs
1.8.7-10.fc35
1.8.7-11.fc35
B
shadow-utils
2:4.8.1-12.fc35
2:4.8.1-15.fc35
B
mesa-libglapi
21.1.3-1.fc35
21.1.4-1.fc35
B
perl-Pod-Simple
1:3.42-478.fc35
1:3.43-1.fc35
B
systemd-rpm-macros
249~rc2-1.fc35
249~rc3-1.fc35
B
mesa-libgbm
21.1.3-1.fc35
21.1.4-1.fc35
B
ocaml-lablgtk3-devel
3.1.1-5.fc35
3.1.1-6.fc35
1
graphviz
2.47.2-3.fc35
2.47.3-1.fc35
1
alt-ergo
2.2.0-10.fc35
2.2.0-11.fc35
1
ocaml-ocamlgraph-devel
2.0.0-1.fc35
2.0.0-2.fc35
1
ocaml-ppx-deriving-yojson-devel
3.6.1-4.fc35
3.6.1-5.fc35
1
python3-devel
3.10.0~b2-3.fc35
3.10.0~b3-1.fc35
1
ocaml-lablgtk3-sourceview3-devel
3.1.1-5.fc35
3.1.1-6.fc35
1
libstdc++
11.1.1-5.fc35
11.1.1-6.fc35
2
ocaml-ppxlib
1:0.22.0-2.fc35
1:0.22.1-1.fc35
2
glib2
2.68.2-3.fc35
2.68.3-2.fc35
2
python-rpm-macros
3.10-1.fc35
3.10-2.fc35
2
ocaml-lablgtk3
3.1.1-5.fc35
3.1.1-6.fc35
2
ocaml-ppx-deriving
5.2.1-2.fc35
5.2.1-3.fc35
2
texlive-base
9:20210325-35.fc35
9:20210325-37.fc35
2
python3-rpm-macros
3.10-1.fc35
3.10-2.fc35
2
pkgconf-pkg-config
1.7.3-6.fc34
1.7.4-2.fc35
2
ocaml-ocamlgraph
2.0.0-1.fc35
2.0.0-2.fc35
2
ocaml-lablgtk3-sourceview3
3.1.1-5.fc35
3.1.1-6.fc35
2
ocaml-ppxlib-devel
1:0.22.0-2.fc35
1:0.22.1-1.fc35
2
python3
3.10.0~b2-3.fc35
3.10.0~b3-1.fc35
2
ocaml-alt-ergo
2.2.0-10.fc35
2.2.0-11.fc35
2
perl-interpreter
4:5.34.0-479.fc35
4:5.34.0-480.fc35
2
libgcc
11.1.1-5.fc35
11.1.1-6.fc35
2
ocaml-cairo
2:0.6.1-11.fc35
2:0.6.2-1.fc35
2
redhat-rpm-config
187-1.fc35
188-1.fc35
2
gcc
11.1.1-5.fc35
11.1.1-6.fc35
2
perl-libs
4:5.34.0-479.fc35
4:5.34.0-480.fc35
2
ocaml-ppx-deriving-devel
5.2.1-2.fc35
5.2.1-3.fc35
2
python3-libs
3.10.0~b2-3.fc35
3.10.0~b3-1.fc35
2
xapian-core-libs
1.4.18-1.fc35
1.4.18-2.fc35
2
glibc
2.33.9000-23.fc35
2.33.9000-29.fc35
2
vim-filesystem
2:8.2.2956-2.fc35
2:8.2.3046-1.fc35
2
ocaml-cairo-devel
2:0.6.1-11.fc35
2:0.6.2-1.fc35
2
ocaml-ppx-deriving-yojson
3.6.1-4.fc35
3.6.1-5.fc35
2
perl-open
1.12-479.fc35
1.12-480.fc35
2
librsvg2
2.50.6-1.fc35
2.50.7-1.fc35
2
systemd-libs
249~rc1-2.fc35
249~rc2-1.fc35
2
perl-File-Compare
1.100.600-479.fc35
1.100.600-480.fc35
3
glibc-minimal-langpack
2.33.9000-23.fc35
2.33.9000-29.fc35
3
glibc-devel
2.33.9000-23.fc35
2.33.9000-29.fc35
3
perl-Errno
1.33-479.fc35
1.33-480.fc35
3
perl-File-Find
1.39-479.fc35
1.39-480.fc35
3
perl-Class-Struct
0.66-479.fc35
0.66-480.fc35
3
crypto-policies
20210615-1.giteed6c85....
20210621-1.gita0e819e....
3
perl-IO
1.46-479.fc35
1.46-480.fc35
3
perl-File-Copy
2.35-479.fc35
2.35-480.fc35
3
python-srpm-macros
3.10-1.fc35
3.10-2.fc35
3
perl-File-Basename
2.85-479.fc35
2.85-480.fc35
3
libgomp
11.1.1-5.fc35
11.1.1-6.fc35
3
glib2-devel
2.68.2-3.fc35
2.68.3-2.fc35
3
perl-vars
1.05-479.fc35
1.05-480.fc35
3
pkgconf-m4
1.7.3-6.fc34
1.7.4-2.fc35
3
cpp
11.1.1-5.fc35
11.1.1-6.fc35
3
perl-overload
1.33-479.fc35
1.33-480.fc35
3
glibc-common
2.33.9000-23.fc35
2.33.9000-29.fc35
3
python-setuptools-wheel
56.2.0-4.fc35
57.0.0-1.fc35
3
rpm
4.16.90-0.git15395.8....
4.17.0-0.beta1.0.fc35.1
3
perl-POSIX
1.97-479.fc35
1.97-480.fc35
3
grep
3.6-2.fc34
3.6-3.fc35
3
python-pip-wheel
21.1.1-3.fc35
21.1.2-1.fc35
3
perl-File-stat
1.09-479.fc35
1.09-480.fc35
3
krb5-libs
1.19.1-10.fc35
1.19.1-11.fc35
3
perl-DynaLoader
1.50-479.fc35
1.50-480.fc35
3
pkgconf
1.7.3-6.fc34
1.7.4-2.fc35
3
glibc-gconv-extra
2.33.9000-29.fc35
3
perl-B
1.82-479.fc35
1.82-480.fc35
4
popt
1.18-4.fc35
1.18-5.fc35
4
rpm-libs
4.16.90-0.git15395.8....
4.17.0-0.beta1.0.fc35.1
4
pam
1.5.1-6.fc35
1.5.1-7.fc35
4
perl-Symbol
1.09-479.fc35
1.09-480.fc35
4
xkeyboard-config
2.32-3.fc35
2.33-1.fc35
4
libproxy
0.4.17-1.fc35
0.4.17-2.fc35
4
at-spi2-core-devel
2.40.1-1.fc35
2.40.2-1.fc35
4
kernel-headers
5.13.0-0.rc6.git0.1....
5.13.0-0.rc7.git0.1....
4
perl-SelectSaver
1.02-479.fc35
1.02-480.fc35
4
at-spi2-core
2.40.1-1.fc35
2.40.2-1.fc35
4
perl-Getopt-Std
1.13-479.fc35
1.13-480.fc35
4
glibc-headers-x86
2.33.9000-23.fc35
2.33.9000-29.fc35
4
perl-overloading
0.02-479.fc35
0.02-480.fc35
4
perl-mro
1.25-479.fc35
1.25-480.fc35
4
cmake-filesystem
3.20.4-1.fc35
3.21.0-1.rc1.fc35
4
perl-Fcntl
1.14-479.fc35
1.14-480.fc35
4
libpkgconf
1.7.3-6.fc34
1.7.4-2.fc35
4
libquadmath
11.1.1-5.fc35
11.1.1-6.fc35
B
shadow-utils
2:4.8.1-10.fc35
2:4.8.1-12.fc35
B
systemd
249~rc1-2.fc35
249~rc2-1.fc35
B
dbus-broker
28-3.fc35
29-1.fc35
B
perl-IPC-Open3
1.21-479.fc35
1.21-480.fc35
B
rpm-build
4.16.90-0.git15395.8....
4.17.0-0.beta1.0.fc35.1
B
perl-subs
1.04-479.fc35
1.04-480.fc35
B
rpm-build-libs
4.16.90-0.git15395.8....
4.17.0-0.beta1.0.fc35.1
B
perl-if
0.60.900-479.fc35
0.60.900-480.fc35
B
libgfortran
11.1.1-5.fc35
11.1.1-6.fc35
B
systemd-pam
249~rc1-2.fc35
249~rc2-1.fc35
B
systemd-rpm-macros
249~rc1-2.fc35
249~rc2-1.fc35
B
emacs
1:27.2-3.fc35
1:27.2-6.fc35
1
libgcc
11.1.1-3.fc35
11.1.1-5.fc35
2
webkit2gtk3-jsc
2.33.2-1.fc35
2.33.2-2.fc35
2
vim-filesystem
2:8.2.2956-1.fc35
2:8.2.2956-2.fc35
2
emacs-filesystem
1:27.2-3.fc35
1:27.2-6.fc35
2
gcc
11.1.1-3.fc35
11.1.1-5.fc35
2
webkit2gtk3
2.33.2-1.fc35
2.33.2-2.fc35
2
libstdc++
11.1.1-3.fc35
11.1.1-5.fc35
2
gdbm-libs
1:1.19-2.fc34
1:1.20-1.fc35
2
glibc
2.33.9000-2.fc35
2.33.9000-23.fc35
2
perl-interpreter
4:5.34.0-478.fc35
4:5.34.0-479.fc35
2
glib2
2.68.2-1.fc35
2.68.2-3.fc35
2
perl-open
1.12-478.fc35
1.12-479.fc35
2
emacs-common
1:27.2-3.fc35
1:27.2-6.fc35
2
perl-libs
4:5.34.0-478.fc35
4:5.34.0-479.fc35
2
clang-libs
12.0.1~rc1-2.fc35
12.0.1~rc1-3.fc35
2
alsa-lib
1.2.5-2.fc35
1.2.5.1-1.fc35
2
systemd-libs
248.3-1.fc35
249~rc1-2.fc35
2
perl-Class-Struct
0.66-478.fc35
0.66-479.fc35
3
glib2-devel
2.68.2-1.fc35
2.68.2-3.fc35
3
annobin-plugin-gcc
9.74-1.fc35
9.76-1.fc35
3
perl-vars
1.05-478.fc35
1.05-479.fc35
3
libgcrypt
1.9.3-2.fc35
1.9.3-3.fc35
3
perl-File-Find
1.39-478.fc35
1.39-479.fc35
3
glibc-minimal-langpack
2.33.9000-2.fc35
2.33.9000-23.fc35
3
perl-DynaLoader
1.50-478.fc35
1.50-479.fc35
3
perl-IO
1.46-478.fc35
1.46-479.fc35
3
glibc-common
2.33.9000-2.fc35
2.33.9000-23.fc35
3
openldap
2.4.58-4.fc35
2.4.58-5.fc35
3
libxcrypt
4.4.22-2.fc35
4.4.23-1.fc35
3
ca-certificates
2021.2.48-2.fc35
2021.2.50-2.fc35
3
cpp
11.1.1-3.fc35
11.1.1-5.fc35
3
libgomp
11.1.1-3.fc35
11.1.1-5.fc35
3
perl-File-Copy
2.35-478.fc35
2.35-479.fc35
3
enchant2
2.2.15-7.fc35
2.3.0-1.fc35
3
perl-File-Basename
2.85-478.fc35
2.85-479.fc35
3
perl-File-stat
1.09-478.fc35
1.09-479.fc35
3
perl-File-Compare
1.100.600-478.fc35
1.100.600-479.fc35
3
libavif
0.9.1-1.fc35
0.9.1-2.fc35
3
crypto-policies
20210213-1.git5c710c0....
20210615-1.giteed6c85....
3
perl-overload
1.33-478.fc35
1.33-479.fc35
3
perl-POSIX
1.97-478.fc35
1.97-479.fc35
3
perl-Errno
1.33-478.fc35
1.33-479.fc35
3
glibc-devel
2.33.9000-2.fc35
2.33.9000-23.fc35
3
rpmautospec-rpm-macros
0.2.2-3.fc35
0.2.3-1.fc35
3
clang-resource-filesystem
12.0.1~rc1-2.fc35
12.0.1~rc1-3.fc35
3
mesa-libEGL
21.1.2-1.fc35
21.1.3-1.fc35
4
libxcrypt-devel
4.4.22-2.fc35
4.4.23-1.fc35
4
perl-SelectSaver
1.02-478.fc35
1.02-479.fc35
4
perl-B
1.82-478.fc35
1.82-479.fc35
4
perl-overloading
0.02-478.fc35
0.02-479.fc35
4
glibc-headers-x86
2.33.9000-2.fc35
2.33.9000-23.fc35
4
cmake-filesystem
3.20.3-1.fc35
3.20.4-1.fc35
4
perl-mro
1.25-478.fc35
1.25-479.fc35
4
annobin-docs
9.74-1.fc35
9.76-1.fc35
4
mesa-libGL
21.1.2-1.fc35
21.1.3-1.fc35
4
perl-Getopt-Std
1.13-478.fc35
1.13-479.fc35
4
perl-Symbol
1.09-478.fc35
1.09-479.fc35
4
kernel-headers
5.13.0-0.rc5.git0.1....
5.13.0-0.rc6.git0.1....
4
libaom
2.0.1-5.fc35
3.1.1-1.fc35
4
perl-Fcntl
1.14-478.fc35
1.14-479.fc35
4
systemd
248.3-1.fc35
249~rc1-2.fc35
B
jpegxl-libs
0.3.7-3.fc35
B
systemd-rpm-macros
248.3-1.fc35
249~rc1-2.fc35
B
mesa-libgbm
21.1.2-1.fc35
21.1.3-1.fc35
B
perl-subs
1.04-478.fc35
1.04-479.fc35
B
systemd-pam
248.3-1.fc35
249~rc1-2.fc35
B
xxhash-libs
0.8.0-2.fc34
0.8.0-3.fc35
B
libgfortran
11.1.1-3.fc35
11.1.1-5.fc35
B
debugedit
0.2-1.fc35
0.3-1.fc35
B
libpcap
14:1.10.0-1.fc35
14:1.10.1-1.fc35
B
libquadmath
11.1.1-3.fc35
11.1.1-5.fc35
B
iptables-legacy-libs
1.8.7-8.fc35
1.8.7-10.fc35
B
mesa-libglapi
21.1.2-1.fc35
21.1.3-1.fc35
B
perl-IPC-Open3
1.21-478.fc35
1.21-479.fc35
B
gdb-minimal
10.2-2.fc35
10.2-4.fc35
B
info
6.7-10.fc34
6.7-11.fc35
B
perl-if
0.60.900-478.fc35
0.60.900-479.fc35
B
Real build: frama-c-22.0-11.fc35
ocaml-ocamlgraph-devel
1.8.8-25.fc35
2.0.0-1.fc35
1
why3
1.3.3-8.fc35
1.3.3-9.fc35
1
appstream
0.14.3-2.fc35
1
ocaml-why3-devel
1.3.3-8.fc35
1.3.3-9.fc35
1
coq
8.13.1-1.fc35
8.13.2-1.fc35
1
appstream-data
35-1.fc35
2
ocaml-why3
1.3.3-8.fc35
1.3.3-9.fc35
2
flocq
3.4.0-5.fc35
3.4.0-6.fc35
2
libyaml
0.2.5-5.fc34
2
ocaml-menhirlib
20201216-3.fc35
20210419-1.fc35
2
ocaml-ocamlgraph
1.8.8-25.fc35
2.0.0-1.fc35
2
ocaml-menhirlib-devel
20201216-3.fc35
20210419-1.fc35
2
ocaml-menhir
20201216-3.fc35
20210419-1.fc35
2
lmdb-libs
0.9.29-1.fc35
2
mesa-libEGL
21.1.1-2.fc35
21.1.2-1.fc35
4
mesa-libGL
21.1.1-2.fc35
21.1.2-1.fc35
4
libbonoboui
2.24.5-20.fc34
GConf2
3.2.6-30.fc34
libasyncns
0.8-20.fc34
procps-ng
3.3.17-2.fc35
libblockdev-mdraid
2.25-3.fc35
xfsprogs
5.12.0-1.fc35
mesa-libglapi
21.1.1-2.fc35
21.1.2-1.fc35
B
libgnomeui
2.24.5-24.fc34
gvfs
1.48.1-1.fc35
gtkspell
2.0.16-23.fc34
systemd-udev
248.3-1.fc35
libcdio
2.1.0-4.fc34
sound-theme-freedesktop
0.8-15.fc34
kbd
2.4.0-5.fc35
nss
3.65.0-1.fc35
polkit-libs
0.118-2.fc35
ntfs-3g
2:2017.3.23-16.fc35
udisks2
2.9.2-4.fc35
libcdio-paranoia
10.2+2.0.1-4.fc34
gvfs-client
1.48.1-1.fc35
volume_key-libs
0.3.12-12.fc35
parted
3.4-3.fc35
libassuan
2.5.5-2.fc35
ocaml-lablgtk
2.18.11-6.fc35
libblockdev-crypto
2.25-3.fc35
crypto-policies-scripts
20210213-1.git5c710c0....
e2fsprogs
1.46.2-2.fc35
gnome-vfs2-common
2.24.4-35.fc34
avahi-glib
0.8-12.fc35
libbluray
1.3.0-1.fc35
nss-softokn
3.65.0-1.fc35
gcr-base
3.40.0-1.fc35
libblockdev-loop
2.25-3.fc35
gnome-vfs2
2.24.4-35.fc34
gtksourceview2
2.11.2-33.fc34
ORBit2
2.14.19-26.fc35
gsm
1.0.19-5.fc35
e2fsprogs-libs
1.46.2-2.fc35
libblockdev-fs
2.25-3.fc35
libblockdev-part
2.25-3.fc35
libblockdev-swap
2.25-3.fc35
libblockdev-utils
2.25-3.fc35
inih
49-3.fc34
gnupg2
2.3.1-1.fc35
libksba
1.6.0-1.fc35
libudisks2
2.9.2-4.fc35
pulseaudio-libs
14.2-3.fc34
fuse-libs
2.9.9-11.fc34
nss-sysinit
3.65.0-1.fc35
nss-softokn-freebl
3.65.0-1.fc35
gpgme
1.15.1-4.fc35
dosfstools
4.2-1.fc34
ntfsprogs
2:2017.3.23-16.fc35
libtdb
1.4.3-7.fc35
libgnome
2.32.1-22.fc34
flac-libs
1.3.3-8.fc35
libreport-filesystem
2.15.2-4.fc35
kbd-misc
2.4.0-5.fc35
libbytesize
2.5-2.fc35
mdadm
4.1-8.fc35
libblockdev
2.25-3.fc35
kmod
29-2.fc35
enchant
1:1.6.0-27.fc34
libcanberra
0.30-24.fc34
dbus-glib
0.112-1.fc35
nspr
4.30.0-2.fc35
gdisk
1.0.7-1.fc35
libappstream-glib
0.7.18-2.fc34
libbonobo
2.32.1-20.fc34
libIDL
0.8.14-24.fc34
libudfread
1.1.2-1.fc35
libss
1.46.2-2.fc35
npth
1.6-6.fc34
nss-util
3.65.0-1.fc35
libsndfile
1.0.31-3.fc35
libatasmart
0.19-20.fc34
libgnome-keyring
3.12.0-21.fc34
mesa-libgbm
21.1.1-2.fc35
21.1.2-1.fc35
B
Previous history