../ libsingular4-dev-common_4.0.2+ds-1_all.deb 03-Aug-2015 13:22 226380 singular-data_4.0.2+ds-1_all.deb 03-Aug-2015 13:22 4304770 singular-dev-doc_4.0.2+ds-1_all.deb 03-Aug-2015 13:22 13202160 singular-doc_4.0.2+ds-1_all.deb 03-Aug-2015 13:22 5602 singular_4.0.2+ds-1.debian.tar.xz 03-Aug-2015 13:22 18740 singular_4.0.2+ds-1.dsc 03-Aug-2015 13:22 2928 singular_4.0.2+ds.orig.tar.xz 03-Aug-2015 13:22 5942116