Issue details for source mathcomp-algebra-tactics/1.2.4-1

in pureos/dawn amd64

Missing dependencies

  • libcompiler-libs-ocaml-dev-pe0n8:amd64

    Required by: libelpi-ocaml-dev
    Version: 2.0.7-1
    Type: Binary Package