Version of why3: 1.8.2-3
Architecture of why3: amd64
Version of kvirc-data: 4:5.2.10-1
Architecture of kvirc-data: all
| why3 | kvirc-data | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 2.0 KB | ./usr/share/why3/images/fatcow/bomb.png | png_sha512 | ./usr/share/kvirc/5.2/pics/kvi_bigicon_codetester.png |
| 1.9 KB | ./usr/share/why3/images/fatcow/bin.png | png_sha512 | ./usr/share/kvirc/5.2/pics/kvi_bigicon_remove.png |
| 857 B | ./usr/share/why3/images/fatcow/pencil.png | png_sha512 | ./usr/share/kvirc/5.2/pics/notifier_pen.png |