Issue details for source coq-hierarchy-builder/1.8.0-1

in pureos/dawn arm64

Missing dependencies

  • libcompiler-libs-ocaml-dev-p3pm2:arm64

    Required by: libelpi-ocaml-dev
    Version: 2.0.5-1+b2
    Type: Binary Package