libsollya-dev_8.0+ds-3+b1_amd64.deb
libsollya-dev_8.0+ds-3+b1_arm64.deb
libsollya8_8.0+ds-3+b1_amd64.deb
libsollya8_8.0+ds-3+b1_arm64.deb
sollya-doc_8.0+ds-3_all.deb
sollya_8.0+ds-3+b1_amd64.deb
sollya_8.0+ds-3+b1_arm64.deb