../ libsingular4-dev-common_4.4.1-p3+ds-1_all.deb 30-Aug-2025 17:56 252K singular-data_4.4.1-p3+ds-1_all.deb 30-Aug-2025 17:56 5M singular-dev-doc_4.4.1-p3+ds-1_all.deb 30-Aug-2025 17:56 13M singular-doc_4.4.1-p3+ds-1_all.deb 30-Aug-2025 17:56 9M