../ libghc-microspec-dev_0.2.1.3-5_amd64.deb 06-Nov-2023 07:40 48704 libghc-microspec-doc_0.2.1.3-5_all.deb 06-Nov-2023 07:40 44868 libghc-microspec-prof_0.2.1.3-5_amd64.deb 06-Nov-2023 07:40 40470