Issue details for source cvc5/1.1.2-2

in pureos/dawn arm64

Missing dependencies

  • python3:arm64 (>= 3.12~)

    Required by: cython3
    Version: 3.0.11+dfsg-1+b1
    Type: Binary Package