../ maxima_5.47.0-7_x32.buildinfo 27-Apr-2025 06:03 8317 maxima_5.47.0-7_x32.deb 27-Apr-2025 06:03 11551224 maxima_5.47.0-8_x32.buildinfo 17-May-2025 00:03 8288 maxima_5.47.0-8_x32.deb 17-May-2025 00:03 11422172 xmaxima_5.47.0-7_x32.deb 27-Apr-2025 06:03 468064 xmaxima_5.47.0-8_x32.deb 17-May-2025 00:03 1013956