cvc4

Package information

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

Scheduler parameters

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

python3-devel
3.9.1-1.fc33
3.9.1-2.fc33
1
python3-libs
3.9.1-1.fc33
3.9.1-2.fc33
2
glibc
2.32-2.fc33
2.32-3.fc33
2
python3
3.9.1-1.fc33
3.9.1-2.fc33
2
glibc-minimal-langpack
2.32-2.fc33
2.32-3.fc33
3
glibc-devel
2.32-2.fc33
2.32-3.fc33
3
glibc-common
2.32-2.fc33
2.32-3.fc33
3
binutils
2.35-17.fc33
2.35-18.fc33
3
glibc-headers-x86
2.32-2.fc33
2.32-3.fc33
4
binutils-gold
2.35-17.fc33
2.35-18.fc33
4
kernel-headers
5.10.6-200.fc33
5.10.9-200.fc33
4

State overview

Groups

swig

Most recent builds

complete
59787493
2021-01-15 19:28:20
aarch64
├59787882 ( build.log | root.log )
ppc64le
├59787880 ( build.log | root.log )
x86_64
└59787881 ( build.log | root.log )
ghostscript
9.53.3-3.fc33
9.53.3-4.fc33
1
libarchive
3.5.0-1.fc33
3.5.1-1.fc33
2
coreutils
8.32-12.fc33
8.32-15.fc33
2
libgs
9.53.3-3.fc33
9.53.3-4.fc33
2
libtiff
4.1.0-4.fc33
4.1.0-6.fc33
3
rpm
4.16.0-5.fc33
4.16.1.2-1.fc33
3
xz-libs
5.2.5-3.fc33
5.2.5-4.fc33
3
coreutils-common
8.32-12.fc33
8.32-15.fc33
3
gdbm-libs
1:1.18.1-5.fc33
1:1.19-1.fc33
3
binutils
2.35-15.fc33
2.35-17.fc33
3
libuuid
2.36-3.fc33
2.36.1-1.fc33
3
rpm-libs
4.16.0-5.fc33
4.16.1.2-1.fc33
4
libwebp
1.1.0-5.fc33
4
binutils-gold
2.35-15.fc33
2.35-17.fc33
4
keyutils-libs
1.6-5.fc33
1.6.1-1.fc33
4
kernel-headers
5.9.13-200.fc33
5.10.6-200.fc33
4
perl-Socket
4:2.030-2.fc33
4:2.031-1.fc33
4
libmount
2.36-3.fc33
2.36.1-1.fc33
B
xz
5.2.5-3.fc33
5.2.5-4.fc33
B
libgpg-error
1.39-1.fc33
1.41-1.fc33
B
libblkid
2.36-3.fc33
2.36.1-1.fc33
B
libsmartcols
2.36-3.fc33
2.36.1-1.fc33
B
libfdisk
2.36-3.fc33
2.36.1-1.fc33
B
rpm-build-libs
4.16.0-5.fc33
4.16.1.2-1.fc33
B
rpm-build
4.16.0-5.fc33
4.16.1.2-1.fc33
B
util-linux
2.36-3.fc33
2.36.1-1.fc33
B
complete
58891307
2021-01-04 03:48:48
aarch64
├58891389 ( build.log | root.log )
ppc64le
├58891387 ( build.log | root.log )
x86_64
└58891388 ( build.log | root.log )
tzdata
2020d-1.fc33
2020f-1.fc33
3
tzdata-java
2020d-1.fc33
2020f-1.fc33
3
complete
58313592
2020-12-26 08:22:08
aarch64
├58313635 ( build.log | root.log )
ppc64le
├58313636 ( build.log | root.log )
x86_64
└58313634 ( build.log | root.log )
perl-interpreter
4:5.32.0-464.fc33
4:5.32.0-465.fc33
1
java-11-openjdk-devel
1:11.0.9.11-4.fc33
1:11.0.9.11-9.fc33
1
libzstd
1.4.5-5.fc33
1.4.7-1.fc33
2
perl-macros
4:5.32.0-464.fc33
4:5.32.0-465.fc33
2
java-11-openjdk-headless
1:11.0.9.11-4.fc33
1:11.0.9.11-9.fc33
2
perl-libs
4:5.32.0-464.fc33
4:5.32.0-465.fc33
2
java-11-openjdk
1:11.0.9.11-4.fc33
1:11.0.9.11-9.fc33
2
perl-Errno
1.30-464.fc33
1.30-465.fc33
3
perl-POSIX
1.94-464.fc33
1.94-465.fc33
3
perl-File-stat
1.09-464.fc33
1.09-465.fc33
3
perl-DynaLoader
1.47-464.fc33
1.47-465.fc33
3
perl-File-Find
1.37-464.fc33
1.37-465.fc33
3
perl-IO
1.43-464.fc33
1.43-465.fc33
3
perl-vars
1.05-464.fc33
1.05-465.fc33
3
perl-File-Compare
1.100.600-464.fc33
1.100.600-465.fc33
3
perl-File-Basename
2.85-464.fc33
2.85-465.fc33
3
perl-Class-Struct
0.66-464.fc33
0.66-465.fc33
3
perl-File-Copy
2.34-464.fc33
2.34-465.fc33
3
perl-Getopt-Std
1.12-464.fc33
1.12-465.fc33
4
perl-Symbol
1.08-464.fc33
1.08-465.fc33
4
perl-overload
1.31-464.fc33
1.31-465.fc33
4
perl-B
1.80-464.fc33
1.80-465.fc33
4
perl-SelectSaver
1.02-464.fc33
1.02-465.fc33
4
perl-Fcntl
1.13-464.fc33
1.13-465.fc33
4
perl-overloading
0.02-464.fc33
0.02-465.fc33
B
zstd
1.4.5-5.fc33
1.4.7-1.fc33
B
perl-IPC-Open3
1.21-464.fc33
1.21-465.fc33
B
perl-if
0.60.800-464.fc33
0.60.800-465.fc33
B
perl-mro
1.23-464.fc33
1.23-465.fc33
B
perl-subs
1.03-464.fc33
1.03-465.fc33
B
complete
58057326
2020-12-22 21:36:46
aarch64
├58057372 ( build.log | root.log )
ppc64le
├58057373 ( build.log | root.log )
x86_64
└58057371 ( build.log | root.log )
python3-devel
3.9.0-1.fc33
3.9.1-1.fc33
1
python3-toml
0.10.1-2.fc33
0.10.2-1.fc33
1
python3-libs
3.9.0-1.fc33
3.9.1-1.fc33
2
python3
3.9.0-1.fc33
3.9.1-1.fc33
2
openjpeg2
2.3.1-9.fc33
2.3.1-10.fc33
3
vim-filesystem
2:8.2.2143-1.fc33
2:8.2.2146-2.fc33
3
cups-libs
1:2.3.3-18.fc33
1:2.3.3op1-1.fc33
3
pcre2
10.35-8.fc33
10.36-1.fc33
4
xorg-x11-font-utils
1:7.5-45.fc33
1:7.5-47.fc33
4
pcre2-syntax
10.35-8.fc33
10.36-1.fc33
B
fedora-release-common
33-2
33-3
B
fedora-release
33-2
33-3
B
fedora-release-identity-basic
33-2
33-3
B
audit-libs
3.0-0.21.20191104...
3.0-1.fc33
B
complete
57552799
2020-12-16 08:08:16
aarch64
├57552852 ( build.log | root.log )
ppc64le
├57552853 ( build.log | root.log )
x86_64
└57552851 ( build.log | root.log )
ghostscript
9.53.3-2.fc33
9.53.3-3.fc33
1
libarchive
3.4.3-3.fc33
3.5.0-1.fc33
2
libgs
9.53.3-2.fc33
9.53.3-3.fc33
2
python3-rpm-macros
3.9-10.fc33
3.9-11.fc33
2
python-rpm-macros
3.9-10.fc33
3.9-11.fc33
2
libcurl
7.71.1-7.fc33
7.71.1-8.fc33
2
python-srpm-macros
3.9-10.fc33
3.9-11.fc33
3
vim-filesystem
2:8.2.2072-1.fc33
2:8.2.2143-1.fc33
3
openssl-libs
1:1.1.1h-1.fc33
1:1.1.1i-1.fc33
3
sqlite-libs
3.33.0-2.fc33
3.34.0-1.fc33
3
openjpeg2
2.3.1-7.fc33
2.3.1-9.fc33
3
p11-kit-trust
0.23.21-2.fc33
0.23.22-1.fc33
4
redhat-rpm-config
173-1.fc33
174-1.fc33
4
lua
5.4.1-1.fc33
5.4.2-1.fc33
4
curl
7.71.1-7.fc33
7.71.1-8.fc33
4
kernel-headers
5.9.9-200.fc33
5.9.13-200.fc33
4
p11-kit
0.23.21-2.fc33
0.23.22-1.fc33
4
lua-libs
5.4.1-1.fc33
5.4.2-1.fc33
B
systemd-libs
246.6-3.fc33
246.7-2.fc33
B
perl-Encode
4:3.07-457.fc33
4:3.08-458.fc33
B
libdb
5.3.28-44.fc33
5.3.28-45.fc33
B
annobin
9.28-3.fc33
9.49-1.fc33
B
libgpg-error
1.37-2.fc33
1.39-1.fc33
B
complete
57029787
2020-12-08 09:35:54
aarch64
├57030003 ( build.log | root.log )
ppc64le
├57030004 ( build.log | root.log )
x86_64
└57030002 ( build.log | root.log )
abc-devel
1.01-27.git2020072...
1.01-28.git2020112...
1
cryptominisat-devel
5.7.1-4.fc33
5.8.0-1.fc33
1
cryptominisat-libs
5.7.1-4.fc33
5.8.0-1.fc33
2
abc-libs
1.01-27.git2020072...
1.01-28.git2020112...
2
vim-filesystem
2:8.2.2018-1.fc33
2:8.2.2072-1.fc33
3
rpm
4.16.0-1.fc33
4.16.0-5.fc33
3
rpm-libs
4.16.0-1.fc33
4.16.0-5.fc33
4
pam
1.4.0-9.fc33
1.4.0-10.fc33
B
rpm-build-libs
4.16.0-1.fc33
4.16.0-5.fc33
B
rpm-build
4.16.0-1.fc33
4.16.0-5.fc33
B
qt5-srpm-macros
5.15.1-1.fc33
5.15.2-1.fc33
B
complete
56512816
2020-12-01 11:18:40
aarch64
├56512886 ( build.log | root.log )
ppc64le
├56512887 ( build.log | root.log )
x86_64
└56512885 ( build.log | root.log )
gcc-c++
10.2.1-6.fc33
10.2.1-9.fc33
1
java-11-openjdk-devel
1:11.0.9.11-0.fc33
1:11.0.9.11-4.fc33
1
cmake
3.18.3-1.fc33
3.18.4-2.fc33
1
perl-interpreter
4:5.32.0-463.fc33
4:5.32.0-464.fc33
1
perl-libs
4:5.32.0-463.fc33
4:5.32.0-464.fc33
2
cmake-data
3.18.3-1.fc33
3.18.4-2.fc33
2
zlib
1.2.11-22.fc33
1.2.11-23.fc33
2
perl-macros
4:5.32.0-463.fc33
4:5.32.0-464.fc33
2
java-11-openjdk
1:11.0.9.11-0.fc33
1:11.0.9.11-4.fc33
2
cmake-filesystem
3.18.3-1.fc33
3.18.4-2.fc33
2
cmake-rpm-macros
3.18.3-1.fc33
3.18.4-2.fc33
2
libstdc++-devel
10.2.1-6.fc33
10.2.1-9.fc33
2
libstdc++
10.2.1-6.fc33
10.2.1-9.fc33
2
java-11-openjdk-headless
1:11.0.9.11-0.fc33
1:11.0.9.11-4.fc33
2
libgcc
10.2.1-6.fc33
10.2.1-9.fc33
2
libquadmath-devel
10.2.1-6.fc33
10.2.1-9.fc33
2
gcc
10.2.1-6.fc33
10.2.1-9.fc33
2
guile22
2.2.6-5.fc33
2.2.7-1.fc33
3
binutils
2.35-14.fc33
2.35-15.fc33
3
libquadmath
10.2.1-6.fc33
10.2.1-9.fc33
3
perl-File-Basename
2.85-463.fc33
2.85-464.fc33
3
perl-File-Find
1.37-463.fc33
1.37-464.fc33
3
perl-Errno
1.30-463.fc33
1.30-464.fc33
3
perl-File-Copy
2.34-463.fc33
2.34-464.fc33
3
libgomp
10.2.1-6.fc33
10.2.1-9.fc33
3
vim-filesystem
2:8.2.1961-1.fc33
2:8.2.2018-1.fc33
3
perl-IO
1.43-463.fc33
1.43-464.fc33
3
perl-DynaLoader
1.47-463.fc33
1.47-464.fc33
3
cpp
10.2.1-6.fc33
10.2.1-9.fc33
3
perl-vars
1.05-463.fc33
1.05-464.fc33
3
perl-File-stat
1.09-463.fc33
1.09-464.fc33
3
perl-File-Compare
1.100.600-463.fc33
1.100.600-464.fc33
3
perl-POSIX
1.94-463.fc33
1.94-464.fc33
3
perl-Class-Struct
0.66-463.fc33
0.66-464.fc33
3
perl-B
1.80-463.fc33
1.80-464.fc33
4
perl-Symbol
1.08-463.fc33
1.08-464.fc33
4
binutils-gold
2.35-14.fc33
2.35-15.fc33
4
perl-SelectSaver
1.02-463.fc33
1.02-464.fc33
4
perl-Fcntl
1.13-463.fc33
1.13-464.fc33
4
zlib-devel
1.2.11-22.fc33
1.2.11-23.fc33
4
avahi-libs
0.8-6.fc33
0.8-7.fc33
4
perl-overload
1.31-463.fc33
1.31-464.fc33
4
kernel-headers
5.9.7-200.fc33
5.9.9-200.fc33
4
perl-subs
1.03-463.fc33
1.03-464.fc33
B
openblas
0.3.10-6.fc33
0.3.12-1.fc33
B
libgcrypt
1.8.6-4.fc33
1.8.7-1.fc33
B
perl-if
0.60.800-463.fc33
0.60.800-464.fc33
B
libgfortran
10.2.1-6.fc33
10.2.1-9.fc33
B
shadow-utils
2:4.8.1-4.fc33
2:4.8.1-5.fc33
B
perl-IPC-Open3
1.21-463.fc33
1.21-464.fc33
B
perl-overloading
0.02-463.fc33
0.02-464.fc33
B
perl-Getopt-Std
1.12-463.fc33
1.12-464.fc33
B
pam
1.4.0-7.fc33
1.4.0-9.fc33
B
perl-mro
1.23-463.fc33
1.23-464.fc33
B
openblas-openmp
0.3.10-6.fc33
0.3.12-1.fc33
B
rust-srpm-macros
15-2.fc33
16-1.fc33
B
Real build: cvc4-1.8-2.fc33
complete
56339606
2020-11-27 21:02:14
aarch64
├56339612 ( build.log | root.log )
armhfp
├56339609 ( build.log | root.log )
i386
├56339610 ( build.log | root.log )
ppc64le
├56339613 ( build.log | root.log )
s390x
├56339614 ( build.log | root.log )
x86_64
└56339611 ( build.log | root.log )
Dependencies for this build couldn't be processed
Previous history
Koschei version ca47c8b
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues