../ wxmaxima-dbgsym_19.07.0-1.1_ia64.deb 27-Sep-2019 00:04 28088392 wxmaxima_19.07.0-1.1_ia64.buildinfo 27-Sep-2019 00:04 11559 wxmaxima_19.07.0-1.1_ia64.deb 27-Sep-2019 00:04 5241404