Fedora 40 updates for aarch64 : / usr /share /doc /frama-c

• README.dive.md
• README.e-acsl
• README.instantiate.md
• README.loop-analysis.org
• README.markdown-report.md
• README.md
• README.nonterm.md
• VERSION
• acsl-implementation-29.0-Copper.pdf
• aorai-manual-29.0-Copper.pdf
• e-acsl-implementation-29.0-Copper.pdf
• e-acsl-manual-29.0-Copper.pdf
• eva-manual-29.0-Copper.pdf
• frama-c-api
• frama-c-server-api
• metrics-manual-29.0-Copper.pdf
• plugin-development-guide-29.0-Copper.pdf
• rte-manual-29.0-Copper.pdf
• user-manual-29.0-Copper.pdf
• wp-manual-29.0-Copper.pdf

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Nov 15 06:15:53 2024