Issue details for source coq-hierarchy-builder/1.7.0-2

in pureos/dawn amd64

Missing dependencies

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

    Required by: libelpi-ocaml-dev
    Version: 1.18.2-5+b5
    Type: Binary Package