libghc-multistate-dev_0.8.0.4-3+b1_amd64.deb
libghc-multistate-dev_0.8.0.4-3+b1_arm64.deb
libghc-multistate-doc_0.8.0.4-3_all.deb
libghc-multistate-prof_0.8.0.4-3+b1_amd64.deb
libghc-multistate-prof_0.8.0.4-3+b1_arm64.deb