Issue details for source why3/1.8.0-2

in pureos/dawn all, amd64

Missing dependencies

  • libcompiler-libs-ocaml-dev-4b6d0:amd64

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