/debian/patches/
../
gui-c++20.patch
no-missing-messages.patch
non-static-open-axiom-binary.patch
series