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

in pureos/dawn arm64

Missing dependencies

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

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