../ wxmaxima_22.12.0-1.debian.tar.xz 09-Jan-2023 21:04 12136 wxmaxima_22.12.0-1.dsc 09-Jan-2023 21:04 2136 wxmaxima_22.12.0-1_amd64.deb 09-Jan-2023 22:27 3456896 wxmaxima_22.12.0-1_arm64.deb 09-Jan-2023 23:59 3178616 wxmaxima_22.12.0-1_armhf.deb 10-Jan-2023 03:42 3210548 wxmaxima_22.12.0-1_i386.deb 09-Jan-2023 22:43 3523932 wxmaxima_22.12.0.orig.tar.gz 09-Jan-2023 21:04 23673254 wxmaxima_22.12.0.orig.tar.gz.asc 09-Jan-2023 21:04 963