Fedora 40 updates for aarch64 : / usr /src /debug /E-3.1.0-1.fc40.aarch64 /CONTROL

• cco_batch_spec.c
• cco_batch_spec.h
• cco_clausesplitting.c
• cco_diseq_decomp.c
• cco_einteractive_mode.c
• cco_einteractive_mode.h
• cco_eqnresolving.c
• cco_factoring.c
• cco_forward_contraction.c
• cco_gproc_ctrl.c
• cco_gproc_ctrl.h
• cco_ho_inferences.c
• cco_ho_inferences.h
• cco_interpreted.c
• cco_paramodulation.c
• cco_proc_ctrl.c
• cco_proc_ctrl.h
• cco_proofproc.c
• cco_scheduling.c
• cco_scheduling.h
• cco_simplification.c
• cco_sine.c
• cco_sine.h

Generated by rpm2html 1.8.1

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