../ wxmaxima-dbgsym_24.02.1-1_x32.deb 20-Feb-2024 15:03 26M wxmaxima_24.02.1-1_x32.buildinfo 20-Feb-2024 15:03 14K wxmaxima_24.02.1-1_x32.deb 20-Feb-2024 15:03 4M