../ libghc-casa-types-dev_0.0.1-2_amd64.deb 29-Oct-2020 14:18 45128 libghc-casa-types-dev_0.0.1-2_arm64.deb 29-Oct-2020 14:18 49784 libghc-casa-types-doc_0.0.1-2_all.deb 29-Oct-2020 14:18 42332 libghc-casa-types-prof_0.0.1-2_amd64.deb 29-Oct-2020 14:18 38192 libghc-casa-types-prof_0.0.1-2_arm64.deb 29-Oct-2020 14:18 40944