Issue details for binary coqide/8.19.1+dfsg-2

in pureos/dawn arm64

Missing dependencies

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

    Required by: coqide
    Version: 8.19.1+dfsg-2
    Type: Binary Package