Issue details for binary libcoq-relation-algebra/1.7.10-4+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