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

in pureos/dawn amd64

Missing dependencies

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

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