Issue details for source why3/1.7.2-2

in pureos/dawn all, amd64

Missing dependencies

  • libcompiler-libs-ocaml-dev-y3249:amd64

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