libghc-dice-dev_0.1.1-3+b1_amd64.deb
libghc-dice-dev_0.1.1-3+b1_arm64.deb
libghc-dice-doc_0.1.1-3_all.deb
libghc-dice-prof_0.1.1-3+b1_amd64.deb
libghc-dice-prof_0.1.1-3+b1_arm64.deb