../ wxmaxima_0.8.5-2.debian.tar.gz 26-Apr-2023 12:40 12K wxmaxima_0.8.5-2.dsc 26-Apr-2023 12:40 1309 wxmaxima_0.8.5-2_i386.deb 26-Apr-2023 12:40 752K wxmaxima_0.8.5.orig.tar.gz 26-Apr-2023 12:40 1M wxmaxima_16.04.2-1.debian.tar.xz 26-Apr-2023 17:32 6388 wxmaxima_16.04.2-1.dsc 26-Apr-2023 17:32 1893 wxmaxima_16.04.2-1_i386.deb 26-Apr-2023 17:32 2M wxmaxima_16.04.2.orig.tar.gz 26-Apr-2023 17:32 5M