OpenSuSE Tumbleweed for noarch : / usr /share /doc /packages /rocq /refman-stdlib / /static

• CoqNotations.ttf
• ansi-dark.css
• ansi.css
• basic.css
• coqdoc.css
• coqnotations.sty
• css
• doctools.js
• documentation_options.js
• file.png
• jquery-3.5.1.js
• jquery.js
• js
• language_data.js
• minus.png
• notations.css
• notations.js
• plus.png
• pre-text.css
• pygments.css
• searchtools.js
• underscore-1.13.1.js
• underscore.js

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Mar 27 23:08:05 2026