Issue details for binary why3/1.8.0-2+b1

in pureos/dawn amd64

Missing dependencies

  • libcairo2-ocaml-eesc3:amd64

    Required by: why3
    Version: 1.8.0-2+b1
    Type: Binary Package