../ maxima-sage-doc_5.41.0+ds-4_all.deb 16-Jan-2019 18:27 4354556 maxima-sage-share_5.41.0+ds-4_all.deb 16-Jan-2019 18:27 8997948 maxima-sage_5.41.0+ds-4_amd64.deb 16-Jan-2019 18:27 6172608