Issue details for source cvc5/1.1.2-2

in pureos/dawn amd64

Missing dependencies

  • python3:amd64 (>= 3.12~)

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