Issue details for binary libcoq-mathcomp-zify/1.5.0+2.0+8.16-3+b5

in pureos/dawn amd64

Conflicts in the dependency chain

libc6 vs. base-files

Package 1: libc6 2.40-3

Conflict: base-files:amd64 (< 13.3~)

Package 2: base-files 12.4pureos1