Fedora Rawhide for s390x : / usr /share /doc /rocq /refman-html / /static

• CoqNotations.ttf
• _sphinx_javascript_frameworks_compat.js
• ansi-dark.css
• ansi.css
• async-mode.png
• base-stemmer.js
• basic.css
• coqdoc.css
• coqnotations.sty
• css
• debugger.png
• diffs-coqtop-compacted.png
• diffs-coqtop-multigoal.png
• diffs-coqtop-on.png
• diffs-coqtop-on3.png
• diffs-error-message.png
• diffs-rocqide-compacted.png
• diffs-rocqide-multigoal.png
• diffs-rocqide-on.png
• diffs-rocqide-removed.png
• diffs-show-proof.png
• doctools.js
• documentation_options.js
• english-stemmer.js
• file.png
• jquery.js
• js
• language_data.js
• minus.png
• notations.css
• notations.js
• plus.png
• pre-text.css
• pygments.css
• rocqide-preferences-editor.png
• rocqide-preferences-shortcuts.png
• rocqide-queries.png
• rocqide.png
• searchtools.js
• sphinx_highlight.js

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Mar 26 01:05:42 2026