../ wxmaxima-dbgsym_22.12.0-1_riscv64.deb 30-May-2024 06:33 21042948 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-1_riscv64.deb 30-May-2024 06:33 3368716 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