PureOS
Home
DepCheck
coq-serapi - 8.19.0+0.19.3-3
Issue details for source coq-serapi/8.19.0+0.19.3-3
in pureos/landing
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