../ wxmaxima_22.12.0-1.debian.tar.xz 31-Jul-2024 12:15 12136 wxmaxima_22.12.0-1.dsc 31-Jul-2024 12:15 2136 wxmaxima_22.12.0-1_amd64.deb 31-Jul-2024 11:52 3456896 wxmaxima_22.12.0-1_arm64.deb 31-Jul-2024 11:51 3178616 wxmaxima_22.12.0-1_i386.deb 31-Jul-2024 12:16 3523932 wxmaxima_22.12.0.orig.tar.gz 31-Jul-2024 12:15 23673254 wxmaxima_22.12.0.orig.tar.gz.asc 31-Jul-2024 12:15 963