Fedora 40 for s390x : / usr /share /frama-c /share

• Makefile.common
• Makefile.headers
• Makefile.installation
• Makefile.linting
• Makefile.testing
• compliance
• e-acsl
• frama-c.ico
• frama-c.png
• headache_config.txt
• libc
• machdeps
• switch-off.png
• switch-on.png
• theme
• unmark.png
• wp

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Jul 10 00:08:09 2024