OpenSuSE Leap 15.5 for aarch64 : / usr /share /doc /packages /coq /refman / /static

• CoqNotations.ttf
• ansi-dark.css
• ansi.css
• basic.css
• coqdoc.css
• coqide-queries.png
• coqide.png
• coqnotations.sty
• css
• diffs-coqide-compacted.png
• diffs-coqide-multigoal.png
• diffs-coqide-on.png
• diffs-coqide-removed.png
• diffs-coqtop-compacted.png
• diffs-coqtop-multigoal.png
• diffs-coqtop-on.png
• diffs-coqtop-on3.png
• diffs-error-message.png
• diffs-show-proof.png
• doctools.js
• documentation_options.js
• file.png
• fonts
• jquery-3.4.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.3.1.js
• underscore.js

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 9 18:17:49 2024