PureOS
Home
DepCheck
libcoq-bignums - 9.0.0+coq8.20-1
Issue details for binary libcoq-bignums/9.0.0+coq8.20-1
in pureos/dawn
arm64
Conflicts in the dependency chain
libc6
vs.
base-files
Package 1: libc6 2.38-14
Conflict:
base-files:arm64 (< 13.3~)
Package 2: base-files 12.4pureos1