../ libghc-dimensional-dev_0.13.0.2-3_amd64.deb 07-Dec-2015 11:06 96636 libghc-dimensional-dev_0.13.0.2-3_i386.deb 07-Dec-2015 11:08 94432 libghc-dimensional-doc_0.13.0.2-3_all.deb 07-Dec-2015 11:06 70814 libghc-dimensional-prof_0.13.0.2-3_amd64.deb 07-Dec-2015 11:06 84516 libghc-dimensional-prof_0.13.0.2-3_i386.deb 07-Dec-2015 11:08 84608