Fedora 39 updates for aarch64 : / usr /src /debug /gappa-1.4.2-1.fc39.aarch64 /src /proofs

• basic_proof.cpp
• dichotomy.cpp
• dichotomy.hpp
• proof_graph.cpp
• proof_graph.hpp
• property.cpp
• property.hpp
• rewriting.cpp
• rewriting.hpp
• schemes.cpp
• schemes.hpp
• updater.cpp
• updater.hpp

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Apr 9 15:11:28 2025