../ wxmaxima_22.12.0-1.debian.tar.xz 10-Jan-2023 00:04 12136 wxmaxima_22.12.0-1.dsc 10-Jan-2023 00:04 2136 wxmaxima_22.12.0-1_amd64.deb 10-Jan-2023 01:27 3456896 wxmaxima_22.12.0.orig.tar.gz 10-Jan-2023 00:04 23673254 wxmaxima_22.12.0.orig.tar.gz.asc 10-Jan-2023 00:04 963