Fedora 40 updates for aarch64 : / usr /share /doc /yices-doc /html / /static

• basic.css
• classic.css
• default.css
• doctools.js
• documentation_options.js
• epub.css
• example1.c
• example1b.c
• favicon.ico
• file.png
• language_data.js
• logo10.png
• logo3.pdf
• minus.png
• names.c
• plus.png
• ppbox2.svg
• ppbox2.svgz
• pygments.css
• searchtools.js
• sidebar.js
• sphinx_highlight.js
• test_pp.c

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Jan 9 02:54:44 2025