../ libghc-microspec-dev_0.2.1.3-5_amd64.deb 02-Sep-2025 12:12 48704 libghc-microspec-doc_0.2.1.3-5_all.deb 02-Sep-2025 12:12 44868 libghc-microspec-prof_0.2.1.3-5_amd64.deb 02-Sep-2025 12:12 40470