../ maxima_5.47.0-4_hppa.buildinfo 02-Jul-2024 00:03 8897 maxima_5.47.0-4_hppa.deb 02-Jul-2024 00:03 6M xmaxima_5.47.0-4_hppa.deb 02-Jul-2024 00:03 457K