../ libghc-curve25519-dev_0.2.7-2_amd64.deb 28-Oct-2025 13:35 33188 libghc-curve25519-doc_0.2.7-2_all.deb 28-Oct-2025 13:36 31898 libghc-curve25519-prof_0.2.7-2_amd64.deb 28-Oct-2025 13:25 29160