Issue details for source coq-serapi/8.19.0+0.19.3-4

in pureos/landing arm64

Missing dependencies

  • dpkg-dev:arm64 (>= 1.22.11)

    Required by: build-essential
    Version: 12.12
    Type: Binary Package