HttpsUrlAvailable: version 5.47.0-r1: HOMEPAGE: HTTPS url available: http://maxima.sourceforge.net/ -> https://maxima.sourceforge.io/
  RedirectedUrl: version 5.47.0-r1: SRC_URI: permanently redirected: https://downloads.sourceforge.net/maxima/maxima-5.47.0.tar.gz -> https://downloads.sourceforge.net/project/maxima/Maxima-source/5.47.0-source/maxima-5.47.0.tar.gz
  RequiredUseDefaults: version 5.47.0-r1: profile: 'default/linux/riscv/23.0/rv64/lp64' (28 total) failed REQUIRED_USE: ( clisp || clozurecl || clozurecl64 || cmucl || ecl || gcl || sbcl )