../ libghc-curve25519-dev_0.2.7-2_amd64.deb 06-Nov-2023 21:14 33188 libghc-curve25519-doc_0.2.7-2_all.deb 06-Nov-2023 21:14 31898 libghc-curve25519-prof_0.2.7-2_amd64.deb 06-Nov-2023 21:14 29160