../ wxmaxima_22.12.0-1.debian.tar.xz 17-Jan-2023 19:33 12136 wxmaxima_22.12.0-1.dsc 17-Jan-2023 19:33 2136 wxmaxima_22.12.0-1_amd64.deb 17-Jan-2023 19:11 3456896 wxmaxima_22.12.0.orig.tar.gz 17-Jan-2023 19:33 23673254 wxmaxima_22.12.0.orig.tar.gz.asc 17-Jan-2023 19:33 963