Version of bitwuzla-doc: 0.8.2-4
Architecture of bitwuzla-doc: all
Version of sphinx-rtd-theme-common: 3.1.0+dfsg-4
Architecture of sphinx-rtd-theme-common: all
| bitwuzla-doc | sphinx-rtd-theme-common | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 9.3 KB | ./usr/share/doc/bitwuzla/html/static/js/theme.js | sha512 | ./usr/share/sphinx_rtd_theme/static/js/theme.js |