!!! resolution failed
!!! request ( ( ('repo.livefs',) EqualityMatch: =False || ( ('category',) == virtual && ('package_is_real',) EqualityMatch: =False ) ) && =sci-mathematics/coq-8.20.0-r1 ), mode none
!!! trying sci-mathematics/coq-8.20.0-r1
!!!   request <dev-lang/ocaml-5, mode bdepend
!!!   trying dev-lang/ocaml-4.14.2
!!!     failed due to failed inserting: [<PackageWrapper pkg=<<class 'pkgcore.ebuild.ebuild_src.package'> cpv='dev-lang/ocaml-5.5.1' @0x10c891a70> wrapped='use' @0x10ca483d0>]
!!!   removing choices involving <dev-lang/ocaml-5

Failures encountered:
!!! failed '( ( ('repo.livefs',) EqualityMatch: =False || ( ('category',) == virtual && ('package_is_real',) EqualityMatch: =False ) ) && =sci-mathematics/coq-8.20.0-r1 )'
potentials:
repo gentoo: [ ebuild src: sci-mathematics/coq-8.20.0-r1 ]