| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| casacore-data-jpl-de200_2007.07.05+ds.1-0+deb10u..> | 7.0 MiB | April 11, 2022 10:04 |
| casacore-data-jpl-de405_2007.07.05+ds.1-0+deb10u..> | 8.7 MiB | April 11, 2022 10:25 |
| casacore-data-jplde_2007.07.05+ds.1-0+deb10u1.de..> | 2.6 KiB | April 11, 2022 10:35 |
| casacore-data-jplde_2007.07.05+ds.1-0+deb10u1.dsc | 1.4 KiB | April 11, 2022 10:35 |
| casacore-data-jplde_2007.07.05+ds.1.orig.tar.xz | 18.4 MiB | April 11, 2022 10:35 |