PureOS
Home
DepCheck
why3 - 1.7.2-2+b1
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