Version of storm-lang-doc: 0.8.2+dfsg-1
Architecture of storm-lang-doc: all
Version of storm-lang-markdown: 0.8.2+dfsg-1
Architecture of storm-lang-markdown: all
| storm-lang-doc | storm-lang-markdown | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 49.6 KB | ./usr/share/doc/storm-lang-doc/copyright | sha512 | ./usr/share/doc/storm-lang-markdown/copyright |
| 9.5 KB | ./usr/share/doc/storm-lang/html/images/logo.png | png_sha512, sha512 | ./usr/lib/storm/markdown/doc/themes/storm_res/images/logo.png |
| 4.1 KB | ./usr/share/doc/storm-lang/html/style.css | sha512 | ./usr/lib/storm/markdown/doc/themes/storm_res/style.css |
| 2.4 KB | ./usr/share/doc/storm-lang/html/desktop.css | sha512 | ./usr/lib/storm/markdown/doc/themes/storm_res/desktop.css |
| 1.3 KB | ./usr/share/doc/storm-lang/html/mobile.css | sha512 | ./usr/lib/storm/markdown/doc/themes/storm_res/mobile.css |
| 407 B | ./usr/share/doc/storm-lang/html/images/food-marked.png | png_sha512, sha512 | ./usr/lib/storm/markdown/doc/themes/storm_res/images/food-marked.png |
| 405 B | ./usr/share/doc/storm-lang/html/images/food.png | png_sha512, sha512 | ./usr/lib/storm/markdown/doc/themes/storm_res/images/food.png |
| 317 B | ./usr/share/doc/storm-lang/html/images/arrow.png | png_sha512, sha512 | ./usr/lib/storm/markdown/doc/themes/storm_res/images/arrow.png |
| 305 B | ./usr/share/doc/storm-lang/html/images/arrow-left.png | png_sha512, sha512 | ./usr/lib/storm/markdown/doc/themes/storm_res/images/arrow-left.png |
| 289 B | ./usr/share/doc/storm-lang/html/images/arrow-right.png | png_sha512, sha512 | ./usr/lib/storm/markdown/doc/themes/storm_res/images/arrow-right.png |
| 262 B | ./usr/share/doc/storm-lang/html/images/arrow-filled.png | png_sha512, sha512 | ./usr/lib/storm/markdown/doc/themes/storm_res/images/arrow-filled.png |
| 249 B | ./usr/share/doc/storm-lang/html/images/arrow-right-filled.png | png_sha512, sha512 | ./usr/lib/storm/markdown/doc/themes/storm_res/images/arrow-right-filled.png |
| 247 B | ./usr/share/doc/storm-lang/html/images/arrow-left-filled.png | png_sha512, sha512 | ./usr/lib/storm/markdown/doc/themes/storm_res/images/arrow-left-filled.png |