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