../ wxmaxima_22.12.0-1.debian.tar.xz 10-Jan-2023 04:04 12K wxmaxima_22.12.0-1.dsc 10-Jan-2023 04:04 2136 wxmaxima_22.12.0-1_amd64.deb 10-Jan-2023 05:27 3M wxmaxima_22.12.0-1_arm64.deb 10-Jan-2023 06:59 3M wxmaxima_22.12.0-1_armhf.deb 10-Jan-2023 10:42 3M wxmaxima_22.12.0-1_i386.deb 10-Jan-2023 05:43 3M wxmaxima_22.12.0.orig.tar.gz 10-Jan-2023 04:04 23M wxmaxima_22.12.0.orig.tar.gz.asc 10-Jan-2023 04:04 963