flocq

Package information

State
ok

Scheduler parameters

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

gcc-c++
12.2.1-2.fc37
12.2.1-4.fc37
1
coq
8.15.2-3.fc37
8.16.1-1.fc37
1
autoconf
2.71-3.fc37
2.71-4.fc37
1
libstdc++
12.2.1-2.fc37
12.2.1-4.fc37
2
perl-Getopt-Long
1:2.52-489.fc37
1:2.54-1.fc37
2
glibc
2.36-4.fc37
2.36-8.fc37
2
libgcc
12.2.1-2.fc37
12.2.1-4.fc37
2
libstdc++-devel
12.2.1-2.fc37
12.2.1-4.fc37
2
coq-core
8.15.2-3.fc37
8.16.1-1.fc37
2
bash
5.1.16-3.fc37
5.2.9-3.fc37
2
gcc
12.2.1-2.fc37
12.2.1-4.fc37
2
rpm
4.18.0-0.rc1.3.fc37
4.18.0-1.fc37
3
ansible-srpm-macros
1-7.fc37
1-8.1.fc37
3
glibc-minimal-langpack
2.36-4.fc37
2.36-8.fc37
3
python3
3.11.0~rc2-1.fc37
3.11.0-1.fc37
3
libxcrypt
4.4.28-3.fc37
4.4.33-3.fc37
3
rust-srpm-macros
22-1.fc37
23-1.fc37
3
glibc-devel
2.36-4.fc37
2.36-8.fc37
3
gcc-plugin-annobin
12.2.1-2.fc37
12.2.1-4.fc37
3
binutils
2.38-24.fc37
2.38-25.fc37
3
cpp
12.2.1-2.fc37
12.2.1-4.fc37
3
glibc-gconv-extra
2.36-4.fc37
2.36-8.fc37
3
annobin-plugin-gcc
10.81-1.fc37
10.92-1.fc37
3
python-srpm-macros
3.11-4.fc37
3.11-5.fc37
3
qt5-srpm-macros
5.15.5-2.fc37
5.15.7-1.fc37
3
libgomp
12.2.1-2.fc37
12.2.1-4.fc37
3
glibc-common
2.36-4.fc37
2.36-8.fc37
3
libxcrypt-devel
4.4.28-3.fc37
4.4.33-3.fc37
4
alternatives
1.19-3.fc37
1.21-1.fc37
4
openssl-libs
1:3.0.5-2.fc37
1:3.0.5-3.fc37
4
python3-libs
3.11.0~rc2-1.fc37
3.11.0-1.fc37
4
kernel-headers
5.19.4-300.fc37
6.0.5-300.fc37
4
curl
7.85.0-1.fc37
7.85.0-4.fc37
4
binutils-gold
2.38-24.fc37
2.38-25.fc37
4
rpm-libs
4.18.0-0.rc1.3.fc37
4.18.0-1.fc37
4
glibc-headers-x86
2.36-4.fc37
2.36-8.fc37
4
popt
1.19~rc1-4.fc37
1.19-1.fc37
4
annobin-docs
10.81-1.fc37
10.92-1.fc37
4
systemd-libs
251.4-53.fc37
251.8-586.fc37
4
readline
8.1-7.fc37
8.2-2.fc37
4
tzdata
2022c-1.fc37
2022f-1.fc37
4
fedora-release
37-0.12
37-14
B
gdb-minimal
12.1-4.fc37
12.1-6.fc37
B
tar
2:1.34-3.fc36
2:1.34-5.fc37
B
libnghttp2
1.49.0-1.fc37
1.51.0-1.fc37
B
rpm-build-libs
4.18.0-0.rc1.3.fc37
4.18.0-1.fc37
B
libcurl
7.85.0-1.fc37
7.85.0-4.fc37
B
libidn2
2.3.3-2.fc37
2.3.4-1.fc37
B
libgfortran
12.2.1-2.fc37
12.2.1-4.fc37
B
python-pip-wheel
22.2.2-2.fc37
22.2.2-3.fc37
B
fedora-release-identity-basic
37-0.12
37-14
B
libquadmath
12.2.1-2.fc37
12.2.1-4.fc37
B
krb5-libs
1.19.2-11.fc37.1
1.19.2-13.fc37
B
expat
2.4.8-2.fc37
2.5.0-1.fc37
B
fedora-repos
37-0.6
37-1
B
fedora-release-common
37-0.12
37-14
B
shadow-utils
2:4.12.3-1.fc37
2:4.12.3-3.fc37
B
rpm-build
4.18.0-0.rc1.3.fc37
4.18.0-1.fc37
B
libssh-config
0.10.4-1.fc37
0.10.4-2.fc37
B
sqlite-libs
3.39.2-2.fc37
3.40.0-1.fc37
B
libxml2
2.9.14-3.fc37
2.10.3-2.fc37
B
fedora-gpg-keys
37-0.6
37-1
B
libssh
0.10.4-1.fc37
0.10.4-2.fc37
B
2022-12-06 00:54:56
Package dependencies resolved successfuly
Real build: flocq-4.1.0-2.fc37
Dependencies for this build couldn't be processed
2022-09-22 01:53:15
Package resolution failed
  • No package found for: coq = 8.15.2
gcc-c++
12.2.1-1.fc37
12.2.1-2.fc37
1
gcc
12.2.1-1.fc37
12.2.1-2.fc37
2
libstdc++
12.2.1-1.fc37
12.2.1-2.fc37
2
glibc
2.36-3.fc37
2.36-4.fc37
2
libgcc
12.2.1-1.fc37
12.2.1-2.fc37
2
libstdc++-devel
12.2.1-1.fc37
12.2.1-2.fc37
2
libgomp
12.2.1-1.fc37
12.2.1-2.fc37
3
glibc-common
2.36-3.fc37
2.36-4.fc37
3
glibc-minimal-langpack
2.36-3.fc37
2.36-4.fc37
3
python3
3.11.0~rc1-2.fc37
3.11.0~rc2-1.fc37
3
cpp
12.2.1-1.fc37
12.2.1-2.fc37
3
glibc-gconv-extra
2.36-3.fc37
2.36-4.fc37
3
gcc-plugin-annobin
12.2.1-1.fc37
12.2.1-2.fc37
3
glibc-devel
2.36-3.fc37
2.36-4.fc37
3
python3-libs
3.11.0~rc1-2.fc37
3.11.0~rc2-1.fc37
4
glibc-headers-x86
2.36-3.fc37
2.36-4.fc37
4
libgfortran
12.2.1-1.fc37
12.2.1-2.fc37
B
python-pip-wheel
22.2-1.fc37
22.2.2-2.fc37
B
libssh-config
0.9.6-5.fc37
0.10.4-1.fc37
B
libssh
0.9.6-5.fc37
0.10.4-1.fc37
B
libquadmath
12.2.1-1.fc37
12.2.1-2.fc37
B
Real build: flocq-4.1.0-1.fc37
Dependencies for this build couldn't be processed
perl-libs
4:5.36.0-491.fc37
4:5.36.0-492.fc37
2
perl-File-Find
1.40-491.fc37
1.40-492.fc37
2
perl-IO
1.50-491.fc37
1.50-492.fc37
2
perl-File-stat
1.12-491.fc37
1.12-492.fc37
2
perl-File-Compare
1.100.700-491.fc37
1.100.700-492.fc37
2
perl-Errno
1.36-491.fc37
1.36-492.fc37
2
glibc
2.36-1.fc37
2.36-3.fc37
2
perl-File-Copy
2.39-491.fc37
2.39-492.fc37
2
perl-POSIX
2.03-491.fc37
2.03-492.fc37
2
perl-Class-Struct
0.66-491.fc37
0.66-492.fc37
2
perl-interpreter
4:5.36.0-491.fc37
4:5.36.0-492.fc37
2
perl-File-Basename
2.85-491.fc37
2.85-492.fc37
2
zlib
1.2.12-4.fc37
1.2.12-5.fc37
2
glibc-devel
2.36-1.fc37
2.36-3.fc37
3
perl-DynaLoader
1.52-491.fc37
1.52-492.fc37
3
perl-Fcntl
1.15-491.fc37
1.15-492.fc37
3
perl-SelectSaver
1.02-491.fc37
1.02-492.fc37
3
perl-vars
1.05-491.fc37
1.05-492.fc37
3
package-notes-srpm-macros
0.5-4.fc37
0.5-6.fc37
3
binutils
2.38-23.fc37
2.38-24.fc37
3
go-srpm-macros
3.1.0-4.fc37
3.2.0-1.fc37
3
perl-B
1.83-491.fc37
1.83-492.fc37
3
glibc-minimal-langpack
2.36-1.fc37
2.36-3.fc37
3
glibc-gconv-extra
2.36-1.fc37
2.36-3.fc37
3
glibc-common
2.36-1.fc37
2.36-3.fc37
3
fonts-srpm-macros
1:2.0.5-8.fc37
1:2.0.5-9.fc37
3
perl-Symbol
1.09-491.fc37
1.09-492.fc37
3
perl-overload
1.35-491.fc37
1.35-492.fc37
3
rpm
4.18.0-0.beta1.4.fc37
4.18.0-0.rc1.3.fc37
3
rpm-libs
4.18.0-0.beta1.4.fc37
4.18.0-0.rc1.3.fc37
4
perl-mro
1.26-491.fc37
1.26-492.fc37
4
audit-libs
3.0.8-3.fc37
3.0.9-1.fc37
4
curl
7.84.0-2.fc37
7.85.0-1.fc37
4
perl-overloading
0.02-491.fc37
0.02-492.fc37
4
popt
1.19~rc1-3.fc37
1.19~rc1-4.fc37
4
binutils-gold
2.38-23.fc37
2.38-24.fc37
4
elfutils-debuginfod-client
0.187-6.fc37
0.187-8.fc37
4
perl-Getopt-Std
1.13-491.fc37
1.13-492.fc37
4
glibc-headers-x86
2.36-1.fc37
2.36-3.fc37
4
perl-if
0.61.000-491.fc37
0.61.000-492.fc37
4
kernel-headers
5.19.0-1.fc37
5.19.4-300.fc37
4
elfutils-libelf
0.187-6.fc37
0.187-8.fc37
4
rpm-build
4.18.0-0.beta1.4.fc37
4.18.0-0.rc1.3.fc37
B
shadow-utils
2:4.11.1-4.fc37
2:4.12.3-1.fc37
B
perl-IPC-Open3
1.22-491.fc37
1.22-492.fc37
B
elfutils-libs
0.187-6.fc37
0.187-8.fc37
B
elfutils
0.187-6.fc37
0.187-8.fc37
B
cracklib
2.9.6-28.fc36
2.9.7-30.fc37
B
elfutils-default-yama-scope
0.187-6.fc37
0.187-8.fc37
B
libcurl
7.84.0-2.fc37
7.85.0-1.fc37
B
rpm-build-libs
4.18.0-0.beta1.4.fc37
4.18.0-0.rc1.3.fc37
B
perl-subs
1.04-491.fc37
1.04-492.fc37
B
openblas
0.3.20-2.fc37
0.3.21-3.fc37
B
libnghttp2
1.48.0-2.fc37
1.49.0-1.fc37
B
openblas-openmp
0.3.20-2.fc37
0.3.21-3.fc37
B
gcc-c++
12.1.1-3.fc37.1
12.2.1-1.fc37
1
libgcc
12.1.1-3.fc37.1
12.2.1-1.fc37
2
libstdc++
12.1.1-3.fc37.1
12.2.1-1.fc37
2
redhat-rpm-config
227-1.fc37
228-1.fc37
2
gcc
12.1.1-3.fc37.1
12.2.1-1.fc37
2
texlive-base
9:20210325-51.fc37
9:20210325-52.fc37
2
libstdc++-devel
12.1.1-3.fc37.1
12.2.1-1.fc37
2
gcc-plugin-annobin
12.1.1-3.fc37.1
12.2.1-1.fc37
3
perl-Socket
4:2.035-2.fc37
4:2.036-1.fc37
3
cpp
12.1.1-3.fc37.1
12.2.1-1.fc37
3
libgomp
12.1.1-3.fc37.1
12.2.1-1.fc37
3
tzdata
2022b-1.fc37
2022c-1.fc37
4
systemd-libs
251.4-51.fc37
251.4-53.fc37
4
cyrus-sasl-lib
2.1.28-7.fc37
2.1.28-8.fc37
B
fedora-release-common
37-0.11
37-0.12
B
libquadmath
12.1.1-3.fc37.1
12.2.1-1.fc37
B
libgfortran
12.1.1-3.fc37.1
12.2.1-1.fc37
B
fedora-release-identity-basic
37-0.11
37-0.12
B
fedora-release
37-0.11
37-0.12
B
Previous history