../ wxmaxima_24.02.1-1build2.debian.tar.xz 01-Apr-2024 09:11 12K wxmaxima_24.02.1-1build2.dsc 01-Apr-2024 09:11 2387 wxmaxima_24.02.1-1build2_riscv64.deb 21-Aug-2024 14:37 4M wxmaxima_24.02.1.orig.tar.gz 20-Feb-2024 11:17 16M wxmaxima_24.02.1.orig.tar.gz.asc 20-Feb-2024 11:17 963