../ wxmaxima_22.12.0-1.debian.tar.xz 08-May-2024 17:22 12136 wxmaxima_22.12.0-1.dsc 08-May-2024 17:22 2136 wxmaxima_22.12.0.orig.tar.gz 08-May-2024 17:22 23673254 wxmaxima_22.12.0.orig.tar.gz.asc 08-May-2024 17:22 963