../ libsingular4-dev-common_4.4.0+ds-4_all.deb 25-May-2024 13:46 255K singular-data_4.4.0+ds-4_all.deb 25-May-2024 13:46 5M singular-dev-doc_4.4.0+ds-4_all.deb 25-May-2024 13:46 13M singular-doc_4.4.0+ds-4_all.deb 25-May-2024 13:46 9M