Fedora 39 updates for aarch64 : / usr /src /debug /zenon-0.8.5-20.fc39.aarch64

• coqterm.ml
• enum.ml
• eqrel.ml
• error.ml
• expr.ml
• ext_equiv.ml
• ext_focal.ml
• ext_induct.ml
• ext_recfun.ml
• ext_tla.ml
• extension.ml
• globals.ml
• heap.ml
• index.ml
• isar_case.ml
• lexcoq.ml
• lexcoq.mll
• lextptp.ml
• lextptp.mll
• lexzen.ml
• lexzen.mll
• llproof.ml
• lltocoq.ml
• lltoisar.ml
• main.ml
• misc.ml
• mlproof.ml
• mltoll.ml
• namespace.ml
• node.ml
• parsecoq.ml
• parsecoq.mly
• parsetptp.ml
• parsetptp.mly
• parsezen.ml
• parsezen.mly
• phrase.ml
• print.ml
• progress.ml
• prove.ml
• step.ml
• tptp.ml
• version.ml
• versionnum.ml
• watch.ml
• zenon.ml

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Mar 9 14:20:41 2025