| Parent directory/ | - | - |
| sollya_7.0+ds.orig.tar.bz2 | 1M | 28-Sep-2018 13:52 |
| sollya_7.0+ds-3.debian.tar.xz | 15K | 08-Jan-2019 16:07 |
| sollya_7.0+ds-3.dsc | 3011 | 08-Jan-2019 16:07 |
| sollya-doc_7.0+ds-3_all.deb | 1M | 08-Jan-2019 17:14 |
| libsollya-dev_7.0+ds-3_armhf.deb | 588K | 13-Jan-2019 14:08 |
| libsollya7_7.0+ds-3_armhf.deb | 700K | 13-Jan-2019 14:08 |
| sollya_7.0+ds-3_armhf.deb | 188K | 13-Jan-2019 14:08 |
| libsollya-dev_7.0+ds-3+b2_armhf.deb | 584K | 28-Dec-2020 14:08 |
| libsollya7_7.0+ds-3+b2_armhf.deb | 701K | 28-Dec-2020 14:08 |
| sollya_7.0+ds-3+b2_armhf.deb | 189K | 28-Dec-2020 14:08 |
| sollya_8.0+ds.orig.tar.xz | 2M | 17-Apr-2022 19:21 |
| sollya_8.0+ds-2.debian.tar.xz | 24K | 23-Apr-2022 19:41 |
| sollya_8.0+ds-2.dsc | 2971 | 23-Apr-2022 19:41 |
| sollya-doc_8.0+ds-2_all.deb | 1M | 23-Apr-2022 20:27 |
| libsollya8_8.0+ds-2+b1_armhf.deb | 759K | 22-Jan-2023 20:08 |
| libsollya-dev_8.0+ds-2+b1_armhf.deb | 636K | 22-Jan-2023 20:08 |
| sollya_8.0+ds-2+b1_armhf.deb | 200K | 22-Jan-2023 20:08 |
