Issue details for binary libcoq-mathcomp-algebra-tactics/1.0.0-8+b6

in pureos/crimson arm64

Missing dependencies

  • linux-libc-dev:arm64

    Required by: libc6-dev
    Version: 2.36-9+deb12u7
    Type: Binary Package