Issue details for source coq-elpi/2.3.0-1

in pureos/dawn arm64

Missing dependencies

  • libsexplib0-ocaml-lcp03:arm64

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