Issue details for source coq-elpi/2.5.0-1.1

in pureos/dawn arm64

Missing dependencies

  • libsexplib0-ocaml-yj523:arm64

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