同じところで躓いた人のために

fedora36でmaximaを使おうとしたらsegmentation faultになって使えなかった
調べたらmaximaが依存しているsbclでsegmentation faultになっていた
kernelが5.18.13だとsegmentation faultになるようで
5.17.5に戻したらmaximaもsbclも使えるようになった