Issue details for source coq-elpi/2.5.0-1.1

in pureos/dawn amd64

Missing dependencies

  • libsexplib0-ocaml-yj523:amd64

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