Fedora 42 testing updates for x86_64 : / usr /share /emacs /site-lisp

• acsl.el
• acsl.elc
• frama-c-dev.el
• frama-c-dev.elc
• frama-c-init.el
• frama-c-init.elc
• frama-c-recommended.el
• frama-c-recommended.elc
• site-start.d
• why3.el
• why3.elc
• whyitp.el
• whyitp.elc

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Sep 26 00:38:56 2025