flocq

Package information

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

Scheduler parameters

Tracked by Koschei
True
Current priority
813
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
3.13.0~rc2-1.fc42
3.13.0~rc2-3.fc42
3
ghc-srpm-macros
1.9.1-2.fc41
1.9.2-1.fc42
3
filesystem
3.18-23.fc41
3.18-29.fc42
3
python3-libs
3.13.0~rc2-1.fc42
3.13.0~rc2-3.fc42
4
curl
8.10.0-1.fc42
8.10.1-1.fc42
4
shadow-utils
2:4.16.0-3.fc42
2:4.16.0-4.fc42
B
python-pip-wheel
24.2-1.fc41
24.2-2.fc42
B
fedora-repos
42-0.1
42-0.2
B
fedora-repos-rawhide
42-0.1
42-0.2
B
fedora-gpg-keys
42-0.1
42-0.2
B
libcurl
8.10.0-1.fc42
8.10.1-1.fc42
B

State overview

Groups

This package is not part of any global group.

Historical builds

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
2024-07-22 18:11:04
Package resolution failed
  • Problem: package gcc-c++-14.1.1-7.fc41.x86_64 from primary-f41-build-6270003 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-6270003 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-6270003
    - 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-6270003
  • Problem: package coq-core-8.18.0-10.fc41.x86_64 from primary-f41-build-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 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-6270003 requires gcc, but none of the providers can be installed
    - package coq-8.18.0-10.fc41.x86_64 from primary-f41-build-6270003 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-6270003 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-6270003
    - 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-6270003
  • Problem: package ocaml-5.2.0-3.fc41.x86_64 from primary-f41-build-6270003 requires gcc, but none of the providers can be installed
    - package ocaml-findlib-1.9.6-14.fc41.x86_64 from primary-f41-build-6270003 requires ocaml, but none of the providers can be installed
    - package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270003 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-6270003
    - 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-6270003
  • Problem: package ocaml-5.2.0-3.fc41.x86_64 from primary-f41-build-6270003 requires gcc, but none of the providers can be installed
    - package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270003 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-6270003
    - 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-6270003
Real build: flocq-4.2.0-2.fc41
complete
120653610
2024-07-17 23:19:51
aarch64
├120653836 ( build.log | root.log )
ppc64le
├120653837 ( build.log | root.log )
s390x
├120653838 ( build.log | root.log )
x86_64
└120653835 ( build.log | root.log )
Dependencies for this build couldn't be processed
Real build: flocq-4.2.0-1.fc41
complete
120586907
2024-07-16 16:54:22
aarch64
├120586951 ( build.log | root.log )
ppc64le
├120586952 ( build.log | root.log )
s390x
├120586953 ( build.log | root.log )
x86_64
└120586950 ( build.log | root.log )
coq
8.18.0-8.fc41
8.18.0-9.fc41
1
coq-core
8.18.0-8.fc41
8.18.0-9.fc41
2
coreutils
9.5-3.fc41
9.5-5.fc41
3
qt5-srpm-macros
5.15.14-1.fc41
5.15.14-2.fc41
3
ocaml-zarith
1.13-8.fc41
1.14-1.fc41
3
ocaml-zarith-devel
1.13-8.fc41
1.14-1.fc41
3
qt6-srpm-macros
6.7.2-1.fc41
6.7.2-2.fc41
3
kernel-headers
6.10.0-0.rc7.58.fc41
6.10.0-64.fc41
4
coreutils-common
9.5-3.fc41
9.5-5.fc41
4
perl-podlators
1:5.01-510.fc41
1:6.0.2-1.fc41
4
perl-IO-Socket-SSL
2.087-2.fc41
2.088-1.fc41
B
crypto-policies
20240628-1.gitddd11d3....
20240715-2.gitf8b6a29....
B
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues