Fedora 42 updates for ppc64le : / usr /src /debug /gappa-1.6.1-1.fc42.ppc64le /src /backends

• backend.cpp
• backend.hpp
• coq.cpp
• coq_common.cpp
• coq_common.hpp
• coq_lambda.cpp
• d2.cpp
• holl.cpp
• latex.cpp

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Nov 4 04:16:11 2025