../ libghc-microspec-dev_0.2.1.3-5_amd64.deb 23-Dec-2024 14:13 48704 libghc-microspec-doc_0.2.1.3-5_all.deb 23-Dec-2024 18:57 44868 libghc-microspec-prof_0.2.1.3-5_amd64.deb 23-Dec-2024 15:05 40470