![]() | Name | Last modified | Size |
---|---|---|---|
![]() | Parent Directory | - | |
![]() | casacore-data-jpl-de200_2007.07.05+ds.1-0+deb10u1_all.deb | 2025-08-20 15:47 | 7.0M |
![]() | casacore-data-jpl-de200_2007.07.05+ds.1-1_all.deb | 2025-08-20 15:47 | 7.0M |
![]() | casacore-data-jpl-de405_2007.07.05+ds.1-0+deb10u1_all.deb | 2025-08-20 15:47 | 8.7M |
![]() | casacore-data-jpl-de405_2007.07.05+ds.1-1_all.deb | 2025-08-20 15:47 | 8.7M |