Issue details for binary alt-ergo/2.0.0-7+b4

in pureos/crimson arm64

Missing dependencies

  • libnum-ocaml-80ki3:arm64

    Required by: alt-ergo
    Version: 2.0.0-7+b4
    Type: Binary Package