../ wxmaxima_22.12.0-1.debian.tar.xz 09-Jan-2023 15:04 12136 wxmaxima_22.12.0-1.dsc 09-Jan-2023 15:04 2136 wxmaxima_22.12.0-1_amd64.deb 09-Jan-2023 16:27 3456896 wxmaxima_22.12.0-1_i386.deb 09-Jan-2023 16:43 3523932 wxmaxima_22.12.0.orig.tar.gz 09-Jan-2023 15:04 23673254 wxmaxima_22.12.0.orig.tar.gz.asc 09-Jan-2023 15:04 963