Issue details for source coq/8.19.1+dfsg-2

in pureos/dawn amd64

Missing dependencies

  • libcairo2-ocaml-dev-7q5f6:amd64

    Required by: liblablgtk3-ocaml-dev
    Version: 3.1.5-1+b1
    Type: Binary Package