!!! resolution failed
!!! request ( ( ('repo.livefs',) EqualityMatch: =False || ( ('category',) == virtual && ('package_is_real',) EqualityMatch: =False ) ) && =sci-mathematics/coq-mathcomp-1.19.0-r1 ), mode none
!!! trying sci-mathematics/coq-mathcomp-1.19.0-r1
!!!   request <sci-mathematics/coq-8.21.0:=, mode depend
!!!   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' @0x10b9917b0> wrapped='use' @0x10bb3cc50>]
!!!     removing choices involving <dev-lang/ocaml-5
!!!   removing choices involving <sci-mathematics/coq-8.21.0:=

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