Version of castle-game-engine-doc: 7.0~alpha.3+dfsg2-4
Architecture of castle-game-engine-doc: all
Version of why3: 1.8.2-3
Architecture of why3: amd64
| castle-game-engine-doc | why3 | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 2.0 KB | ./usr/share/doc/castle-game-engine-doc/examples/lazarus/model_3d_with_2d_controls/data/sample_button_icon.png | png_sha512, sha512 | ./usr/share/why3/images/fatcow/exclamation.png |