Issue details for source why3/1.7.2-2

in pureos/dawn all, arm64

Missing dependencies

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

    Required by: libnum-ocaml-dev
    Version: 1.5-1+b1
    Type: Binary Package