Issue details for source coq-serapi/8.19.0+0.19.3-3

in pureos/dawn amd64

Missing dependencies

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

    Required by: libppx-deriving-ocaml-dev
    Version: 6.0.3-1+b3
    Type: Binary Package