../ libghc-dice-dev_0.1-7build1_amd64.deb 01-Oct-2021 16:14 68280 libghc-dice-doc_0.1-7build1_all.deb 01-Oct-2021 16:10 32900 libghc-dice-prof_0.1-7build1_amd64.deb 01-Oct-2021 16:25 66132