Issue details for source coq-elpi/2.5.0-1

in pureos/dawn amd64

Missing dependencies

  • libsexplib0-ocaml-lcp03:amd64

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