../ wxmaxima_19.07.0-1.1build1.debian.tar.xz 23-Mar-2020 07:18 11756 wxmaxima_19.07.0-1.1build1.dsc 23-Mar-2020 07:18 2241 wxmaxima_19.07.0-1.1build1_amd64.deb 23-Mar-2020 08:29 5101404 wxmaxima_19.07.0.orig.tar.gz 05-Jul-2019 23:18 15607972 wxmaxima_19.07.0.orig.tar.gz.asc 05-Jul-2019 23:18 963