Fedora 42 testing updates for s390x : / 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, Wed Sep 24 02:06:21 2025