Issue details for binary why3/1.7.2-2+b1

in pureos/dawn arm64

Missing dependencies

  • libgtk-3-0t64:arm64 (>= 3.11.5)

    Required by: why3
    Version: 1.7.2-2+b1
    Type: Binary Package