flocq

Package information

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

Scheduler parameters

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

perl-Scalar-List-Utils
5:1.66-1.fc42
5:1.68-1.fc42
3
build-reproducibility-srpm-macros
0.4.1-1.fc42
0.4.3-1.fc42
3
binutils
2.43.1-1.fc42
2.43.50-5.fc42
3
elfutils-debuginfod-client
0.191-8.fc41
0.192-3.fc42
4
add-determinism
0.4.1-1.fc42
0.4.3-1.fc42
4
jansson
2.13.1-10.fc41
2.14-1.fc42
4
pam
1.6.1-6.fc42
1.6.1-8.fc42
4
pam-libs
1.6.1-6.fc42
1.6.1-8.fc42
4
kernel-headers
6.11.0-63.fc42
6.12.0-0.rc4.39.fc42
4
elfutils-libelf
0.191-8.fc41
0.192-3.fc42
4
lua-libs
5.4.6-6.fc41
5.4.7-1.fc42
B
fedora-release-common
42-0.4
42-0.6
B
libeconf
0.6.2-3.fc41
0.7.4-2.fc42
B
fedora-release-identity-basic
42-0.4
42-0.6
B
libtirpc
1.3.5-0.fc41
1.3.6-0.fc42
B
libcom_err
1.47.1-3.fc41
1.47.1-6.fc42
B
fedora-repos-rawhide
42-0.2
42-0.3
B
crypto-policies
20241010-1.git8baf557....
20241018-1.gitce922cb....
B
json-c
0.17-4.fc41
B
elfutils
0.191-8.fc41
0.192-3.fc42
B
shadow-utils
2:4.16.0-5.fc42
2:4.16.0-6.fc42
B
fedora-repos
42-0.2
42-0.3
B
elfutils-libs
0.191-8.fc41
0.192-3.fc42
B
sqlite-libs
3.46.0-4.fc41
3.46.1-1.fc42
B
libnghttp2
1.63.0-1.fc42
1.64.0-1.fc42
B
fedora-gpg-keys
42-0.2
42-0.3
B
elfutils-default-yama-scope
0.191-8.fc41
0.192-3.fc42
B
fedora-release
42-0.4
42-0.6
B

State overview

Groups

This package is not part of any global group.

Historical builds

complete
121282250
2024-07-31 08:26:22
aarch64
├121282330 ( build.log | root.log )
ppc64le
├121282329 ( build.log | root.log )
x86_64
└121282328 ( build.log | root.log )
glibc
2.39.9000-35.fc41
2.40-2.fc41
2
binutils
2.42.50-20.fc41
2.42.90-1.fc41
3
libcurl
8.8.0-3.fc41
8.9.0-1.fc41
3
pyproject-srpm-macros
1.13.0-2.fc41
1.14.0-1.fc41
3
glibc-common
2.39.9000-35.fc41
2.40-2.fc41
3
python3
3.13.0~b4-2.fc41
3.13.0~b4-3.fc41
3
glibc-devel
2.39.9000-35.fc41
2.40-2.fc41
3
glibc-minimal-langpack
2.39.9000-35.fc41
2.40-2.fc41
3
annobin-plugin-gcc
12.62-2.fc41
12.65-1.fc41
3
glibc-gconv-extra
2.39.9000-35.fc41
2.40-2.fc41
3
build-reproducibility-srpm-macros
0.3.5-1.fc41
0.3.6-1.fc41
3
add-determinism
0.3.5-1.fc41
0.3.6-1.fc41
4
pam
1.6.1-4.fc41
1.6.1-5.fc41
4
kernel-headers
6.10.0-64.fc41.1
6.11.0-0.rc1.dc1c803...
4
alternatives
1.28-3.fc41
1.29-1.fc41
4
python3-libs
3.13.0~b4-2.fc41
3.13.0~b4-3.fc41
4
glibc-headers-x86
2.39.9000-35.fc41
2.40-2.fc41
4
pam-libs
1.6.1-4.fc41
1.6.1-5.fc41
4
curl
8.8.0-3.fc41
8.9.0-1.fc41
4
annobin-docs
12.62-2.fc41
12.65-1.fc41
4
openldap
2.6.8-4.fc41
2.6.8-5.fc41
4
systemd-libs
256.3-2.fc41
256.4-1.fc41
4
fedora-release-identity-basic
41-0.16
41-0.17
B
fedora-release-common
41-0.16
41-0.17
B
crypto-policies
20240717-2.git154fd4e....
20240725-2.git9555558....
B
diffutils
3.10-7.fc41
3.10-8.fc41
B
fedora-release
41-0.16
41-0.17
B
complete
120976581
2024-07-24 16:43:47
aarch64
├120976639 ( build.log | root.log )
ppc64le
├120976638 ( build.log | root.log )
x86_64
└120976637 ( build.log | root.log )
remake
0.14-10.fc40
0.14-11.fc41
1
coq
8.18.0-9.fc41
8.18.0-10.fc41
1
autoconf
2.72-2.fc41
2.72-3.fc41
1
ocaml-findlib
1.9.6-13.fc41
1.9.6-14.fc41
1
ocaml
5.2.0-2.fc41
5.2.0-3.fc41
1
perl-File-Compare
1.100.800-509.fc41
1.100.800-511.fc41
2
ocaml-compiler-libs
5.2.0-2.fc41
5.2.0-3.fc41
2
perl-Carp
1.54-510.fc41
1.54-511.fc41
2
perl-PathTools
3.91-510.fc41
3.91-511.fc41
2
libzstd-devel
1.5.6-1.fc41
1.5.6-2.fc41
2
ocaml-runtime
5.2.0-2.fc41
5.2.0-3.fc41
2
texlive-base
11:20230311-84.fc41
11:20230311-85.fc41
2
perl-File-stat
1.14-509.fc41
1.14-511.fc41
2
perl-libs
4:5.40.0-509.fc41
4:5.40.0-511.fc41
2
csdp-tools
6.2.0-27.20181018gi...
6.2.0-29.20181018gi...
2
perl-File-Find
1.44-509.fc41
1.44-511.fc41
2
gmp
1:6.3.0-1.fc41
1:6.3.0-2.fc41
2
perl-Data-Dumper
2.189-511.fc41
2.189-512.fc41
2
perl-File-Copy
2.41-509.fc41
2.41-511.fc41
2
mpfr
4.2.1-4.fc41
4.2.1-5.fc41
2
emacs-filesystem
1:30.0-2.fc41
1:30.0-3.fc41
2
perl-File-Temp
1:0.231.100-510.fc41
1:0.231.100-511.fc41
2
ocaml-srpm-macros
10-2.fc41
10-3.fc41
2
perl-interpreter
4:5.40.0-509.fc41
4:5.40.0-511.fc41
2
libzstd
1.5.6-1.fc41
1.5.6-2.fc41
2
perl-POSIX
2.20-509.fc41
2.20-511.fc41
2
perl-Errno
1.38-509.fc41
1.38-511.fc41
2
perl-Text-ParseWords
3.31-510.fc41
3.31-511.fc41
2
perl-File-Basename
2.86-509.fc41
2.86-511.fc41
2
m4
1.4.19-9.fc40
1.4.19-10.fc41
2
zlib-ng-compat
2.1.7-1.fc41
2.1.7-2.fc41
2
glibc
2.39.9000-30.fc41
2.39.9000-35.fc41
2
perl-constant
1.33-511.fc41
1.33-512.fc41
2
coq-core
8.18.0-9.fc41
8.18.0-10.fc41
2
perl-Class-Struct
0.68-509.fc41
0.68-511.fc41
2
libmpc
1.3.1-5.fc40
1.3.1-6.fc41
2
bash
5.2.26-3.fc40
5.2.26-4.fc41
2
perl-Exporter
5.78-510.fc41
5.78-511.fc41
2
perl-IO
1.55-509.fc41
1.55-511.fc41
2
perl-Getopt-Long
1:2.58-1.fc41
1:2.58-2.fc41
2
qt6-srpm-macros
6.7.2-2.fc41
6.7.2-3.fc41
3
zig-srpm-macros
1-2.fc40
1-3.fc41
3
perl-Encode
4:3.21-510.fc41
4:3.21-511.fc41
3
make
1:4.4.1-6.fc40
1:4.4.1-8.fc41
3
ansible-srpm-macros
1-15.fc41
1-16.fc41
3
perl-Scalar-List-Utils
5:1.63-510.fc41
5:1.63-511.fc41
3
perl-base
2.27-509.fc41
2.27-511.fc41
3
perl-locale
1.12-509.fc41
1.12-511.fc41
3
fpc-srpm-macros
1.3-12.fc40
1.3-13.fc41
3
annobin-plugin-gcc
12.60-1.fc41
12.62-2.fc41
3
file
5.45-6.fc41
5.45-7.fc41
3
libnghttp2
1.62.1-1.fc41
1.62.1-2.fc41
3
perl-Fcntl
1.18-509.fc41
1.18-511.fc41
3
dwz
0.15-6.fc40
0.15-7.fc41
3
ocaml-zarith
1.14-1.fc41
1.14-2.fc41
3
filesystem
3.18-9.fc41
3.18-23.fc41
3
findutils
1:4.10.0-3.fc41
1:4.10.0-4.fc41
3
python-srpm-macros
3.13-2.fc41
3.13-3.fc41
3
glibc-devel
2.39.9000-30.fc41
2.39.9000-35.fc41
3
perl-parent
1:0.241-510.fc41
1:0.241-511.fc41
3
csdp
6.2.0-27.20181018gi...
6.2.0-29.20181018gi...
3
perl-File-Path
2.18-510.fc41
2.18-511.fc41
3
glibc-minimal-langpack
2.39.9000-30.fc41
2.39.9000-35.fc41
3
libcurl
8.8.0-2.fc41
8.8.0-3.fc41
3
zip
3.0-40.fc40
3.0-41.fc41
3
fonts-srpm-macros
1:2.0.5-16.fc41
1:2.0.5-17.fc41
3
perl-overload
1.37-509.fc41
1.37-511.fc41
3
perl-SelectSaver
1.02-509.fc41
1.02-511.fc41
3
perl-Symbol
1.09-509.fc41
1.09-511.fc41
3
sed
4.9-1.fc40
4.9-3.fc41
3
basesystem
11-20.fc40
11-21.fc41
3
build-reproducibility-srpm-macros
0.3.3-1.fc41
0.3.5-1.fc41
3
perl-srpm-macros
1-55.fc41
1-56.fc41
3
glibc-common
2.39.9000-30.fc41
2.39.9000-35.fc41
3
perl-B
1.89-509.fc41
1.89-511.fc41
3
perl-Pod-Usage
4:2.03-510.fc41
4:2.03-511.fc41
3
glibc-gconv-extra
2.39.9000-30.fc41
2.39.9000-35.fc41
3
ocaml-zarith-devel
1.14-1.fc41
1.14-2.fc41
3
coreutils
9.5-5.fc41
9.5-7.fc41
3
gnat-srpm-macros
6-5.fc40
6-6.fc41
3
forge-srpm-macros
0.3.1-1.fc41
0.3.1-2.fc41
3
efi-srpm-macros
5-11.fc40
5-12.fc41
3
ca-certificates
2024.2.68_v8.0.302-2.fc41
2024.2.68_v8.0.302-3.fc41
3
qt5-srpm-macros
5.15.14-2.fc41
5.15.14-3.fc41
3
lua-srpm-macros
1-13.fc40
1-14.fc41
3
openblas-srpm-macros
2-17.fc41
2-18.fc41
3
pcre2
10.44-1.fc41
10.44-1.fc41.1
3
pkgconf-pkg-config
2.1.1-1.fc41
2.1.1-2.fc41
3
ncurses-libs
6.4-12.20240127.fc40
6.5-2.20240629.fc41
3
perl-Socket
4:2.038-510.fc41
4:2.038-511.fc41
3
binutils
2.42.50-14.fc41
2.42.50-20.fc41
3
libxcrypt
4.4.36-5.fc40
4.4.36-7.fc41
3
python3
3.13.0~b3-2.fc41
3.13.0~b4-2.fc41
3
go-srpm-macros
3.6.0-1.fc41
3.6.0-3.fc41
3
pyproject-srpm-macros
1.13.0-1.fc41
1.13.0-2.fc41
3
ghc-srpm-macros
1.9.1-1.fc41
1.9.1-2.fc41
3
util-linux
2.40.2-1.fc41
2.40.2-4.fc41
3
kernel-srpm-macros
1.0-23.fc41
1.0-24.fc41
3
rpm
4.19.92-2.fc41
4.19.92-5.fc41
3
package-notes-srpm-macros
0.5-11.fc40
0.5-12.fc41
3
perl-DynaLoader
1.56-509.fc41
1.56-511.fc41
3
grep
3.11-8.fc41
3.11-9.fc41
3
elfutils-debuginfod-client
0.191-7.fc41
0.191-8.fc41
4
openssl-libs
1:3.2.2-4.fc41
1:3.2.2-5.fc41
4
util-linux-core
2.40.2-1.fc41
2.40.2-4.fc41
4
pkgconf
2.1.1-1.fc41
2.1.1-2.fc41
4
file-libs
5.45-6.fc41
5.45-7.fc41
4
perl-MIME-Base64
3.16-510.fc41
3.16-511.fc41
4
ncurses-base
6.4-12.20240127.fc40
6.5-2.20240629.fc41
4
perl-vars
1.05-509.fc41
1.05-511.fc41
4
annobin-docs
12.60-1.fc41
12.62-2.fc41
4
libuuid
2.40.2-1.fc41
2.40.2-4.fc41
4
alternatives
1.28-1.fc41
1.28-3.fc41
4
libcap-ng
0.8.5-2.fc41
0.8.5-3.fc41
4
pcre2-syntax
10.44-1.fc41
10.44-1.fc41.1
4
rpm-build
4.19.92-2.fc41
4.19.92-5.fc41
4
openblas
0.3.26-4.fc40
0.3.26-5.fc41
4
glibc-headers-x86
2.39.9000-30.fc41
2.39.9000-35.fc41
4
readline
8.2-8.fc40
8.2-9.fc41
4
coreutils-common
9.5-5.fc41
9.5-7.fc41
4
libidn2
2.3.7-1.fc40
2.3.7-2.fc41
4
perl-podlators
1:6.0.2-1.fc41
1:6.0.2-2.fc41
4
libfdisk
2.40.2-1.fc41
2.40.2-4.fc41
4
python3-libs
3.13.0~b3-2.fc41
3.13.0~b4-2.fc41
4
krb5-libs
1.21.3-1.fc41
1.21.3-2.fc41
4
unzip
6.0-63.fc40
6.0-64.fc41
4
perl-Storable
1:3.32-510.fc41
1:3.32-511.fc41
4
pkgconf-m4
2.1.1-1.fc41
2.1.1-2.fc41
4
audit-libs
4.0.1-3.fc41
4.0.1-4.fc41
4
libattr
2.5.2-3.fc40
2.5.2-4.fc41
4
perl-overloading
0.02-509.fc41
0.02-511.fc41
4
libpsl
0.21.5-3.fc40
0.21.5-4.fc41
4
libblkid
2.40.2-1.fc41
2.40.2-4.fc41
4
perl-Getopt-Std
1.14-509.fc41
1.14-511.fc41
4
gmp-devel
1:6.3.0-1.fc41
1:6.3.0-2.fc41
4
libacl
2.3.2-1.fc40
2.3.2-2.fc41
4
libxcrypt-devel
4.4.36-5.fc40
4.4.36-7.fc41
4
bzip2-libs
1.0.8-18.fc40
1.0.8-19.fc41
4
flexiblas-netlib
3.4.4-1.fc41
3.4.4-2.fc41
4
perl-if
0.61.000-509.fc41
0.61.000-511.fc41
4
libarchive
3.7.4-2.fc41
3.7.4-3.fc41
4
perl-Pod-Perldoc
3.28.01-511.fc41
3.28.01-512.fc41
4
p11-kit
0.25.5-2.fc41
0.25.5-3.fc41
4
libselinux
3.7-3.fc41
3.7-5.fc41
4
elfutils-libelf
0.191-7.fc41
0.191-8.fc41
4
add-determinism
0.3.3-1.fc41
0.3.5-1.fc41
4
kernel-headers
6.10.0-64.fc41
6.10.0-64.fc41.1
4
libsmartcols
2.40.2-1.fc41
2.40.2-4.fc41
4
popt
1.19-6.fc40
1.19-7.fc41
4
authselect-libs
1.5.0-6.fc41
1.5.0-7.fc41
4
curl
8.8.0-2.fc41
8.8.0-3.fc41
4
rpm-libs
4.19.92-2.fc41
4.19.92-5.fc41
4
libutempter
1.2.1-14.fc41
1.2.1-15.fc41
4
libbrotli
1.1.0-4.fc41
1.1.0-5.fc41
4
libmount
2.40.2-1.fc41
2.40.2-4.fc41
4
perl-mro
1.29-509.fc41
1.29-511.fc41
4
jansson
2.13.1-9.fc40
2.13.1-10.fc41
4
openldap
2.6.8-3.fc41
2.6.8-4.fc41
4
p11-kit-trust
0.25.5-2.fc41
0.25.5-3.fc41
4
libcap
2.70-2.fc41
2.70-4.fc41
4
systemd-libs
256.2-1.fc41
256.3-2.fc41
4
setup
2.15.0-4.fc41
2.15.0-5.fc41
4
sqlite-libs
3.46.0-2.fc41
3.46.0-3.fc41
B
xxhash-libs
0.8.2-2.fc40
0.8.2-3.fc41
B
libsepol
3.7-1.fc41
3.7-2.fc41
B
libeconf
0.6.2-2.fc41
0.6.2-3.fc41
B
gc
8.2.6-1.fc41
gzip
1.13-1.fc40
1.13-2.fc41
B
perl-Pod-Escapes
1:1.07-510.fc41
1:1.07-511.fc41
B
diffutils
3.10-5.fc40
3.10-7.fc41
B
perl-Net-SSLeay
1.94-5.fc41
1.94-7.fc41
B
mpdecimal
2.5.1-15.fc41
2.5.1-16.fc41
B
cracklib
2.9.11-5.fc40
2.9.11-6.fc41
B
authselect
1.5.0-6.fc41
1.5.0-7.fc41
B
libpwquality
1.4.5-10.fc41
1.4.5-11.fc41
B
perl-Digest
1.20-510.fc41
1.20-511.fc41
B
tzdata
2024a-8.fc41
2024a-9.fc41
B
rpm-sequoia
1.7.0-1.fc41
1.7.0-2.fc41
B
perl-Pod-Simple
1:3.45-510.fc41
1:3.45-511.fc41
B
gawk
5.3.0-3.fc40
5.3.0-4.fc41
B
publicsuffix-list-dafsa
20240107-3.fc40
20240107-4.fc41
B
guile30
3.0.9-1.fc41
perl-URI
5.28-1.fc41
5.28-2.fc41
B
elfutils
0.191-7.fc41
0.191-8.fc41
B
gdbm-libs
1:1.23-6.fc40
1:1.23-7.fc41
B
crypto-policies
20240715-2.gitf8b6a29....
20240717-2.git154fd4e....
B
libcom_err
1.47.1-1.fc41
1.47.1-3.fc41
B
perl-Digest-MD5
2.59-4.fc41
2.59-5.fc41
B
libevent
2.1.12-13.fc41
2.1.12-14.fc41
B
libtool-ltdl
2.4.7-11.fc41
2.4.7-12.fc41
B
which
2.21-41.fc40
2.21-42.fc41
B
libxml2
2.12.8-1.fc41
2.12.8-2.fc41
B
python-pip-wheel
24.1.1-1.fc41
24.1.1-2.fc41
B
perl-HTTP-Tiny
0.088-511.fc41
0.088-512.fc41
B
lz4-libs
1.9.4-6.fc40
1.10.0-1.fc41
B
rpm-build-libs
4.19.92-2.fc41
4.19.92-5.fc41
B
cpio
2.15-1.fc40
2.15-2.fc41
B
ed
1.20.2-1.fc41
1.20.2-2.fc41
B
perl-Term-Cap
1.18-510.fc41
1.18-511.fc41
B
elfutils-default-yama-scope
0.191-7.fc41
0.191-8.fc41
B
flexiblas-openblas-openmp
3.4.4-1.fc41
3.4.4-2.fc41
B
gdbm
1:1.23-6.fc40
1:1.23-7.fc41
B
shadow-utils
2:4.15.1-5.fc41
2:4.15.1-9.fc41
B
libverto
0.3.2-8.fc40
0.3.2-9.fc41
B
zstd
1.5.6-1.fc41
1.5.6-2.fc41
B
libtasn1
4.19.0-6.fc40
4.19.0-9.fc41
B
xz
1:5.6.2-1.fc41
1:5.6.2-2.fc41
B
lua-libs
5.4.6-5.fc40
5.4.6-6.fc41
B
perl-IO-Socket-SSL
2.088-1.fc41
2.088-2.fc41
B
elfutils-libs
0.191-7.fc41
0.191-8.fc41
B
libffi
3.4.6-1.fc41
3.4.6-2.fc41
B
libsemanage
3.7-1.fc41
3.7-2.fc41
B
flexiblas
3.4.4-1.fc41
3.4.4-2.fc41
B
expat
2.6.2-1.fc41
2.6.2-2.fc41
B
perl-Term-ANSIColor
5.01-511.fc41
5.01-512.fc41
B
libtirpc
1.3.4-1.rc3.fc41
1.3.5-0.fc41
B
ncurses
6.4-12.20240127.fc40
6.5-2.20240629.fc41
B
patch
2.7.6-24.fc40
2.7.6-25.fc41
B
perl-IPC-Open3
1.22-509.fc41
1.22-511.fc41
B
bzip2
1.0.8-18.fc40
1.0.8-19.fc41
B
perl-Text-Tabs+Wrap
2024.001-510.fc41
2024.001-511.fc41
B
perl-Mozilla-CA
20240313-1.fc41
20240313-2.fc41
B
keyutils-libs
1.6.3-3.fc40
1.6.3-4.fc41
B
libnsl2
2.0.1-1.fc40
2.0.1-2.fc41
B
libb2
0.98.1-11.fc40
0.98.1-12.fc41
B
debugedit
5.0-16.fc41
5.0-17.fc41
B
perl-FileHandle
2.05-509.fc41
2.05-511.fc41
B
perl-libnet
3.15-511.fc41
3.15-512.fc41
B
cyrus-sasl-lib
2.1.28-24.fc41
2.1.28-27.fc41
B
perl-IO-Socket-IP
0.42-511.fc41
0.42-512.fc41
B
gdb-minimal
14.2-14.fc41
14.2-15.fc41
B
libunistring
1.1-7.fc41
1.1-8.fc41
B
xz-libs
1:5.6.2-1.fc41
1:5.6.2-2.fc41
B
openblas-openmp
0.3.26-4.fc40
0.3.26-5.fc41
B
libpkgconf
2.1.1-1.fc41
2.1.1-2.fc41
B
groff-base
1.23.0-6.fc40
1.23.0-7.fc41
B
info
7.1-2.fc40
7.1-3.fc41
B
tar
2:1.35-3.fc40
2:1.35-4.fc41
B
gmp-c++
1:6.3.0-1.fc41
1:6.3.0-2.fc41
B
perl-Time-Local
2:1.350-510.fc41
2:1.350-511.fc41
B
perl-AutoLoader
5.74-509.fc41
5.74-511.fc41
B
2024-07-22 20:44:45
Package dependencies resolved successfuly
2024-07-22 20:15:02
Package resolution failed
  • Problem: package gcc-c++-14.1.1-7.fc41.x86_64 from primary-f41-build-6270268 requires gcc = 14.1.1-7.fc41, but none of the providers can be installed
    - package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270268 requires make, but none of the providers can be installed
    - conflicting requests
    - nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270268
    - nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270268
  • Problem: package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(CamlinternalFormat) = 13ed96ffabc5dfd1d8a6fec49384f028, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(CamlinternalOO) = 3bb5173e1a86ae74d96d5b3bc80f14a3, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Dynlink) = d5bb801f44135186b643559dc7a4b3d7, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Dynlink_types) = 0a0dd8e6d42db08a5f4114323cda41d2, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib) = 447646e3941e7bd0789ef2758721e0f3, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Array) = b3215f99afe054938b4b66df456093cb, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Bigarray) = 2fb6f37865dd77a707635669254911e1, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Buffer) = 9cacb5fa6a4451adb75efc47c2b240f0, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Bytes) = d697a70d28861d97056d724d4ded8186, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Char) = 06a8805663dee66a214b77add5781757, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Domain) = cc0101b954510b60650e5e09ef15a63f, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Filename) = a35b7b7631e90b7f61b97dcbf267b74d, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Format) = c3ae601df8ff425e293a74d12df8a999, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Gc) = 197914694cd716338b4da966236687f4, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Hashtbl) = 32e5b8b459bfbe8d42f9cbdc0881f25b, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Int64) = 57f962b4f86aa6fdd47497762191be90, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__List) = 0c98d5e09fe7a58103f7fc0c065faf7b, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Map) = 11d684f98901a367ba7244cc79e73542, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Marshal) = 277388c97046e641881cb27cd5c3c5d7, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Obj) = 7e1b6f06f070d2b749513eb2e2df1f96, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Printexc) = 04d54fbd89d929231dfde66bce57e8a3, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Printf) = b1aa742e17271ccbba2673a15537976c, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Random) = 8a2126a10d76d3c628e1b10cc98f4557, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Set) = b049494df265ec800bd69fa20b58ded4, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__String) = 42352162009cc1a7b2a044e7f3165992, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Sys) = 820f8619a35f5702e8ebee2cc4b857a0, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Str) = 99d5daa35a7b0aee0c9f6a37c7815d14, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Unix) = 68ab438b4835434514cef99aa39c4907, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Queue) = 87ff0b1ea7067e1396e89743d90cb6e5, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Stack) = 58115a6211e5be4179738513052923d0, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(CamlinternalFormatBasics) = 8f7a0c52558222ddb6419f859b4ae97b, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(CamlinternalLazy) = ee132f9efcb677d1694a5ed00f1b1b50, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(CamlinternalMod) = 66b43cb6cb21f7cd3f1b3062981a81a0, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Dynlink_common) = d4b70856fc5436a5eb011bedb918cf52, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Condition) = cf4798a79453be1ac4ab5c280ef440b9, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Digest) = 61a77f360d46597a7b089f21560d0ec5, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Ephemeron) = bc249a10b47eb82a885e54390cffc65e, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Fun) = 37a310ff8f2161abac88ac1166914403, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__In_channel) = 4b2cf1b18b90ba135e4a869ce340ef50, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Int32) = 169fcf1342146c601e097e542ce7d72e, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Lazy) = 015b5f9334a17aa676ccb9dae6532108, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Mutex) = 7d3a7b8ba0e1ea30b641a3738f372813, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Result) = 9ff0efb5c37661f15a7cb562a9c1e3bc, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Scanf) = 830d1ccf20fbc461ddddb28b00a05789, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Stdlib__Weak) = 811b95dd66dc2c7061ac3f60e6e1e7ac, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires ocamlx(Thread) = 1668de8f22740ab4205b06b563235902, but none of the providers can be installed
    - package ocaml-5.2.0-3.fc41.x86_64 from primary-f41-build-6270268 requires gcc, but none of the providers can be installed
    - package coq-8.18.0-10.fc41.x86_64 from primary-f41-build-6270268 requires coq-core(x86-64) = 8.18.0-10.fc41, but none of the providers can be installed
    - package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270268 requires make, but none of the providers can be installed
    - conflicting requests
    - nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270268
    - nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270268
  • Problem: package ocaml-5.2.0-3.fc41.x86_64 from primary-f41-build-6270268 requires gcc, but none of the providers can be installed
    - package ocaml-findlib-1.9.6-14.fc41.x86_64 from primary-f41-build-6270268 requires ocaml, but none of the providers can be installed
    - package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270268 requires make, but none of the providers can be installed
    - conflicting requests
    - nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270268
    - nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270268
  • Problem: package ocaml-5.2.0-3.fc41.x86_64 from primary-f41-build-6270268 requires gcc, but none of the providers can be installed
    - package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270268 requires make, but none of the providers can be installed
    - conflicting requests
    - nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270268
    - nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270268
2024-07-22 20:00:32
Package resolution failed
  • Problem: package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(CamlinternalFormat) = 13ed96ffabc5dfd1d8a6fec49384f028, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(CamlinternalOO) = 3bb5173e1a86ae74d96d5b3bc80f14a3, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Dynlink) = d5bb801f44135186b643559dc7a4b3d7, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Dynlink_types) = 0a0dd8e6d42db08a5f4114323cda41d2, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib) = 447646e3941e7bd0789ef2758721e0f3, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Array) = b3215f99afe054938b4b66df456093cb, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Bigarray) = 2fb6f37865dd77a707635669254911e1, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Buffer) = 9cacb5fa6a4451adb75efc47c2b240f0, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Bytes) = d697a70d28861d97056d724d4ded8186, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Char) = 06a8805663dee66a214b77add5781757, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Domain) = cc0101b954510b60650e5e09ef15a63f, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Filename) = a35b7b7631e90b7f61b97dcbf267b74d, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Format) = c3ae601df8ff425e293a74d12df8a999, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Gc) = 197914694cd716338b4da966236687f4, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Hashtbl) = 32e5b8b459bfbe8d42f9cbdc0881f25b, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Int64) = 57f962b4f86aa6fdd47497762191be90, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__List) = 0c98d5e09fe7a58103f7fc0c065faf7b, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Map) = 11d684f98901a367ba7244cc79e73542, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Marshal) = 277388c97046e641881cb27cd5c3c5d7, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Obj) = 7e1b6f06f070d2b749513eb2e2df1f96, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Printexc) = 04d54fbd89d929231dfde66bce57e8a3, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Printf) = b1aa742e17271ccbba2673a15537976c, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Random) = 8a2126a10d76d3c628e1b10cc98f4557, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Set) = b049494df265ec800bd69fa20b58ded4, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__String) = 42352162009cc1a7b2a044e7f3165992, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Sys) = 820f8619a35f5702e8ebee2cc4b857a0, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Str) = 99d5daa35a7b0aee0c9f6a37c7815d14, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Unix) = 68ab438b4835434514cef99aa39c4907, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Queue) = 87ff0b1ea7067e1396e89743d90cb6e5, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Stack) = 58115a6211e5be4179738513052923d0, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(CamlinternalFormatBasics) = 8f7a0c52558222ddb6419f859b4ae97b, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(CamlinternalLazy) = ee132f9efcb677d1694a5ed00f1b1b50, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(CamlinternalMod) = 66b43cb6cb21f7cd3f1b3062981a81a0, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Dynlink_common) = d4b70856fc5436a5eb011bedb918cf52, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Condition) = cf4798a79453be1ac4ab5c280ef440b9, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Digest) = 61a77f360d46597a7b089f21560d0ec5, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Ephemeron) = bc249a10b47eb82a885e54390cffc65e, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Fun) = 37a310ff8f2161abac88ac1166914403, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__In_channel) = 4b2cf1b18b90ba135e4a869ce340ef50, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Int32) = 169fcf1342146c601e097e542ce7d72e, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Lazy) = 015b5f9334a17aa676ccb9dae6532108, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Mutex) = 7d3a7b8ba0e1ea30b641a3738f372813, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Result) = 9ff0efb5c37661f15a7cb562a9c1e3bc, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Scanf) = 830d1ccf20fbc461ddddb28b00a05789, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Stdlib__Weak) = 811b95dd66dc2c7061ac3f60e6e1e7ac, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires ocamlx(Thread) = 1668de8f22740ab4205b06b563235902, but none of the providers can be installed
    - package ocaml-5.2.0-3.fc41.x86_64 from primary-f41-build-6270238 requires gcc, but none of the providers can be installed
    - package coq-8.18.0-10.fc41.x86_64 from primary-f41-build-6270238 requires coq-core(x86-64) = 8.18.0-10.fc41, but none of the providers can be installed
    - package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270238 requires make, but none of the providers can be installed
    - conflicting requests
    - nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270238
    - nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270238
  • Problem: package ocaml-5.2.0-3.fc41.x86_64 from primary-f41-build-6270238 requires gcc, but none of the providers can be installed
    - package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270238 requires make, but none of the providers can be installed
    - conflicting requests
    - nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270238
    - nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270238
  • Problem: package ocaml-5.2.0-3.fc41.x86_64 from primary-f41-build-6270238 requires gcc, but none of the providers can be installed
    - package ocaml-findlib-1.9.6-14.fc41.x86_64 from primary-f41-build-6270238 requires ocaml, but none of the providers can be installed
    - package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270238 requires make, but none of the providers can be installed
    - conflicting requests
    - nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270238
    - nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270238
  • Problem: package gcc-c++-14.1.1-7.fc41.x86_64 from primary-f41-build-6270238 requires gcc = 14.1.1-7.fc41, but none of the providers can be installed
    - package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270238 requires make, but none of the providers can be installed
    - conflicting requests
    - nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270238
    - nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270238
2024-07-22 19:37:40
Package resolution failed
  • Problem: package gcc-c++-14.1.1-7.fc41.x86_64 from primary-f41-build-6270206 requires gcc = 14.1.1-7.fc41, but none of the providers can be installed
    - package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270206 requires make, but none of the providers can be installed
    - conflicting requests
    - nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270206
    - nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270206
  • Problem: package ocaml-5.2.0-3.fc41.x86_64 from primary-f41-build-6270206 requires gcc, but none of the providers can be installed
    - package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270206 requires make, but none of the providers can be installed
    - conflicting requests
    - nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270206
    - nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270206
  • Problem: package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(CamlinternalFormat) = 13ed96ffabc5dfd1d8a6fec49384f028, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(CamlinternalOO) = 3bb5173e1a86ae74d96d5b3bc80f14a3, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Dynlink) = d5bb801f44135186b643559dc7a4b3d7, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Dynlink_types) = 0a0dd8e6d42db08a5f4114323cda41d2, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib) = 447646e3941e7bd0789ef2758721e0f3, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Array) = b3215f99afe054938b4b66df456093cb, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Bigarray) = 2fb6f37865dd77a707635669254911e1, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Buffer) = 9cacb5fa6a4451adb75efc47c2b240f0, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Bytes) = d697a70d28861d97056d724d4ded8186, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Char) = 06a8805663dee66a214b77add5781757, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Domain) = cc0101b954510b60650e5e09ef15a63f, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Filename) = a35b7b7631e90b7f61b97dcbf267b74d, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Format) = c3ae601df8ff425e293a74d12df8a999, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Gc) = 197914694cd716338b4da966236687f4, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Hashtbl) = 32e5b8b459bfbe8d42f9cbdc0881f25b, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Int64) = 57f962b4f86aa6fdd47497762191be90, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__List) = 0c98d5e09fe7a58103f7fc0c065faf7b, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Map) = 11d684f98901a367ba7244cc79e73542, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Marshal) = 277388c97046e641881cb27cd5c3c5d7, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Obj) = 7e1b6f06f070d2b749513eb2e2df1f96, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Printexc) = 04d54fbd89d929231dfde66bce57e8a3, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Printf) = b1aa742e17271ccbba2673a15537976c, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Random) = 8a2126a10d76d3c628e1b10cc98f4557, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Set) = b049494df265ec800bd69fa20b58ded4, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__String) = 42352162009cc1a7b2a044e7f3165992, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Sys) = 820f8619a35f5702e8ebee2cc4b857a0, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Str) = 99d5daa35a7b0aee0c9f6a37c7815d14, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Unix) = 68ab438b4835434514cef99aa39c4907, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Queue) = 87ff0b1ea7067e1396e89743d90cb6e5, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Stack) = 58115a6211e5be4179738513052923d0, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(CamlinternalFormatBasics) = 8f7a0c52558222ddb6419f859b4ae97b, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(CamlinternalLazy) = ee132f9efcb677d1694a5ed00f1b1b50, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(CamlinternalMod) = 66b43cb6cb21f7cd3f1b3062981a81a0, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Dynlink_common) = d4b70856fc5436a5eb011bedb918cf52, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Condition) = cf4798a79453be1ac4ab5c280ef440b9, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Digest) = 61a77f360d46597a7b089f21560d0ec5, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Ephemeron) = bc249a10b47eb82a885e54390cffc65e, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Fun) = 37a310ff8f2161abac88ac1166914403, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__In_channel) = 4b2cf1b18b90ba135e4a869ce340ef50, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Int32) = 169fcf1342146c601e097e542ce7d72e, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Lazy) = 015b5f9334a17aa676ccb9dae6532108, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Mutex) = 7d3a7b8ba0e1ea30b641a3738f372813, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Result) = 9ff0efb5c37661f15a7cb562a9c1e3bc, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Scanf) = 830d1ccf20fbc461ddddb28b00a05789, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Stdlib__Weak) = 811b95dd66dc2c7061ac3f60e6e1e7ac, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires ocamlx(Thread) = 1668de8f22740ab4205b06b563235902, but none of the providers can be installed
    - package ocaml-5.2.0-3.fc41.x86_64 from primary-f41-build-6270206 requires gcc, but none of the providers can be installed
    - package coq-8.18.0-10.fc41.x86_64 from primary-f41-build-6270206 requires coq-core(x86-64) = 8.18.0-10.fc41, but none of the providers can be installed
    - package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270206 requires make, but none of the providers can be installed
    - conflicting requests
    - nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270206
    - nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270206
  • Problem: package ocaml-5.2.0-3.fc41.x86_64 from primary-f41-build-6270206 requires gcc, but none of the providers can be installed
    - package ocaml-findlib-1.9.6-14.fc41.x86_64 from primary-f41-build-6270206 requires ocaml, but none of the providers can be installed
    - package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270206 requires make, but none of the providers can be installed
    - conflicting requests
    - nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270206
    - nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270206
2024-07-22 19:07:30
Package resolution failed
  • Problem: package gcc-c++-14.1.1-7.fc41.x86_64 from primary-f41-build-6270100 requires gcc = 14.1.1-7.fc41, but none of the providers can be installed
    - package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270100 requires make, but none of the providers can be installed
    - conflicting requests
    - nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270100
    - nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270100
  • Problem: package ocaml-5.2.0-3.fc41.x86_64 from primary-f41-build-6270100 requires gcc, but none of the providers can be installed
    - package ocaml-findlib-1.9.6-14.fc41.x86_64 from primary-f41-build-6270100 requires ocaml, but none of the providers can be installed
    - package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270100 requires make, but none of the providers can be installed
    - conflicting requests
    - nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270100
    - nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270100
  • Problem: package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(CamlinternalFormat) = 13ed96ffabc5dfd1d8a6fec49384f028, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(CamlinternalOO) = 3bb5173e1a86ae74d96d5b3bc80f14a3, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Dynlink) = d5bb801f44135186b643559dc7a4b3d7, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Dynlink_types) = 0a0dd8e6d42db08a5f4114323cda41d2, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib) = 447646e3941e7bd0789ef2758721e0f3, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Array) = b3215f99afe054938b4b66df456093cb, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Bigarray) = 2fb6f37865dd77a707635669254911e1, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Buffer) = 9cacb5fa6a4451adb75efc47c2b240f0, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Bytes) = d697a70d28861d97056d724d4ded8186, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Char) = 06a8805663dee66a214b77add5781757, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Domain) = cc0101b954510b60650e5e09ef15a63f, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Filename) = a35b7b7631e90b7f61b97dcbf267b74d, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Format) = c3ae601df8ff425e293a74d12df8a999, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Gc) = 197914694cd716338b4da966236687f4, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Hashtbl) = 32e5b8b459bfbe8d42f9cbdc0881f25b, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Int64) = 57f962b4f86aa6fdd47497762191be90, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__List) = 0c98d5e09fe7a58103f7fc0c065faf7b, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Map) = 11d684f98901a367ba7244cc79e73542, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Marshal) = 277388c97046e641881cb27cd5c3c5d7, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Obj) = 7e1b6f06f070d2b749513eb2e2df1f96, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Printexc) = 04d54fbd89d929231dfde66bce57e8a3, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Printf) = b1aa742e17271ccbba2673a15537976c, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Random) = 8a2126a10d76d3c628e1b10cc98f4557, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Set) = b049494df265ec800bd69fa20b58ded4, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__String) = 42352162009cc1a7b2a044e7f3165992, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Sys) = 820f8619a35f5702e8ebee2cc4b857a0, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Str) = 99d5daa35a7b0aee0c9f6a37c7815d14, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Unix) = 68ab438b4835434514cef99aa39c4907, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Queue) = 87ff0b1ea7067e1396e89743d90cb6e5, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Stack) = 58115a6211e5be4179738513052923d0, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(CamlinternalFormatBasics) = 8f7a0c52558222ddb6419f859b4ae97b, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(CamlinternalLazy) = ee132f9efcb677d1694a5ed00f1b1b50, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(CamlinternalMod) = 66b43cb6cb21f7cd3f1b3062981a81a0, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Dynlink_common) = d4b70856fc5436a5eb011bedb918cf52, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Condition) = cf4798a79453be1ac4ab5c280ef440b9, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Digest) = 61a77f360d46597a7b089f21560d0ec5, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Ephemeron) = bc249a10b47eb82a885e54390cffc65e, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Fun) = 37a310ff8f2161abac88ac1166914403, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__In_channel) = 4b2cf1b18b90ba135e4a869ce340ef50, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Int32) = 169fcf1342146c601e097e542ce7d72e, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Lazy) = 015b5f9334a17aa676ccb9dae6532108, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Mutex) = 7d3a7b8ba0e1ea30b641a3738f372813, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Result) = 9ff0efb5c37661f15a7cb562a9c1e3bc, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Scanf) = 830d1ccf20fbc461ddddb28b00a05789, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Stdlib__Weak) = 811b95dd66dc2c7061ac3f60e6e1e7ac, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires ocamlx(Thread) = 1668de8f22740ab4205b06b563235902, but none of the providers can be installed
    - package ocaml-5.2.0-3.fc41.x86_64 from primary-f41-build-6270100 requires gcc, but none of the providers can be installed
    - package coq-8.18.0-10.fc41.x86_64 from primary-f41-build-6270100 requires coq-core(x86-64) = 8.18.0-10.fc41, but none of the providers can be installed
    - package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270100 requires make, but none of the providers can be installed
    - conflicting requests
    - nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270100
    - nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270100
  • Problem: package ocaml-5.2.0-3.fc41.x86_64 from primary-f41-build-6270100 requires gcc, but none of the providers can be installed
    - package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270100 requires make, but none of the providers can be installed
    - conflicting requests
    - nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270100
    - nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270100
2024-07-22 18:19:50
Package resolution failed
  • Problem: package ocaml-5.2.0-3.fc41.x86_64 from primary-f41-build-6270043 requires gcc, but none of the providers can be installed
    - package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270043 requires make, but none of the providers can be installed
    - conflicting requests
    - nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270043
    - nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270043
  • Problem: package gcc-c++-14.1.1-7.fc41.x86_64 from primary-f41-build-6270043 requires gcc = 14.1.1-7.fc41, but none of the providers can be installed
    - package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270043 requires make, but none of the providers can be installed
    - conflicting requests
    - nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270043
    - nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270043
  • Problem: package ocaml-5.2.0-3.fc41.x86_64 from primary-f41-build-6270043 requires gcc, but none of the providers can be installed
    - package ocaml-findlib-1.9.6-14.fc41.x86_64 from primary-f41-build-6270043 requires ocaml, but none of the providers can be installed
    - package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270043 requires make, but none of the providers can be installed
    - conflicting requests
    - nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270043
    - nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270043
  • Problem: package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(CamlinternalFormat) = 13ed96ffabc5dfd1d8a6fec49384f028, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(CamlinternalOO) = 3bb5173e1a86ae74d96d5b3bc80f14a3, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Dynlink) = d5bb801f44135186b643559dc7a4b3d7, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Dynlink_types) = 0a0dd8e6d42db08a5f4114323cda41d2, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib) = 447646e3941e7bd0789ef2758721e0f3, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Array) = b3215f99afe054938b4b66df456093cb, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Bigarray) = 2fb6f37865dd77a707635669254911e1, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Buffer) = 9cacb5fa6a4451adb75efc47c2b240f0, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Bytes) = d697a70d28861d97056d724d4ded8186, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Char) = 06a8805663dee66a214b77add5781757, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Domain) = cc0101b954510b60650e5e09ef15a63f, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Filename) = a35b7b7631e90b7f61b97dcbf267b74d, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Format) = c3ae601df8ff425e293a74d12df8a999, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Gc) = 197914694cd716338b4da966236687f4, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Hashtbl) = 32e5b8b459bfbe8d42f9cbdc0881f25b, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Int64) = 57f962b4f86aa6fdd47497762191be90, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__List) = 0c98d5e09fe7a58103f7fc0c065faf7b, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Map) = 11d684f98901a367ba7244cc79e73542, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Marshal) = 277388c97046e641881cb27cd5c3c5d7, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Obj) = 7e1b6f06f070d2b749513eb2e2df1f96, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Printexc) = 04d54fbd89d929231dfde66bce57e8a3, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Printf) = b1aa742e17271ccbba2673a15537976c, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Random) = 8a2126a10d76d3c628e1b10cc98f4557, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Set) = b049494df265ec800bd69fa20b58ded4, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__String) = 42352162009cc1a7b2a044e7f3165992, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Sys) = 820f8619a35f5702e8ebee2cc4b857a0, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Str) = 99d5daa35a7b0aee0c9f6a37c7815d14, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Unix) = 68ab438b4835434514cef99aa39c4907, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Queue) = 87ff0b1ea7067e1396e89743d90cb6e5, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Stack) = 58115a6211e5be4179738513052923d0, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(CamlinternalFormatBasics) = 8f7a0c52558222ddb6419f859b4ae97b, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(CamlinternalLazy) = ee132f9efcb677d1694a5ed00f1b1b50, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(CamlinternalMod) = 66b43cb6cb21f7cd3f1b3062981a81a0, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Dynlink_common) = d4b70856fc5436a5eb011bedb918cf52, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Condition) = cf4798a79453be1ac4ab5c280ef440b9, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Digest) = 61a77f360d46597a7b089f21560d0ec5, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Ephemeron) = bc249a10b47eb82a885e54390cffc65e, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Fun) = 37a310ff8f2161abac88ac1166914403, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__In_channel) = 4b2cf1b18b90ba135e4a869ce340ef50, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Int32) = 169fcf1342146c601e097e542ce7d72e, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Lazy) = 015b5f9334a17aa676ccb9dae6532108, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Mutex) = 7d3a7b8ba0e1ea30b641a3738f372813, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Result) = 9ff0efb5c37661f15a7cb562a9c1e3bc, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Scanf) = 830d1ccf20fbc461ddddb28b00a05789, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Stdlib__Weak) = 811b95dd66dc2c7061ac3f60e6e1e7ac, but none of the providers can be installed
    - package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires ocamlx(Thread) = 1668de8f22740ab4205b06b563235902, but none of the providers can be installed
    - package ocaml-5.2.0-3.fc41.x86_64 from primary-f41-build-6270043 requires gcc, but none of the providers can be installed
    - package coq-8.18.0-10.fc41.x86_64 from primary-f41-build-6270043 requires coq-core(x86-64) = 8.18.0-10.fc41, but none of the providers can be installed
    - package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270043 requires make, but none of the providers can be installed
    - conflicting requests
    - nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270043
    - nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270043
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues