Issue details for source coq-elpi/2.5.0-1

in pureos/dawn arm64

Missing dependencies

  • libsexplib0-ocaml-lcp03:arm64

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