../ 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.orig.tar.gz 09-Jan-2023 21:04 23673254 wxmaxima_22.12.0.orig.tar.gz.asc 09-Jan-2023 21:04 963