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

in pureos/dawn arm64

Missing dependencies

  • libcompiler-libs-ocaml-dev-lw6m5:arm64

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