../ wxmaxima_22.12.0-1.debian.tar.xz 20-Apr-2023 21:47 12136 wxmaxima_22.12.0-1.dsc 20-Apr-2023 21:48 2136 wxmaxima_22.12.0-1_amd64.deb 20-Apr-2023 21:48 3456896 wxmaxima_22.12.0-1_i386.deb 20-Apr-2023 21:48 3523932 wxmaxima_22.12.0.orig.tar.gz 20-Apr-2023 21:48 23673254 wxmaxima_22.12.0.orig.tar.gz.asc 20-Apr-2023 21:48 963