Issue details for source paramcoq/1.1.3+coq8.16-3

in pureos/crimson arm64

Missing dependencies

  • linux-libc-dev:arm64

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