../ libghc-dimensional-dev_0.10.1.2-4_amd64.deb 25-May-2013 12:33 160016 libghc-dimensional-dev_0.13.0.2-3_amd64.deb 07-Dec-2015 18:06 96636 libghc-dimensional-doc_0.10.1.2-4_all.deb 25-May-2013 12:33 94464 libghc-dimensional-doc_0.13.0.2-3_all.deb 07-Dec-2015 18:06 70814 libghc-dimensional-prof_0.10.1.2-4_amd64.deb 25-May-2013 12:33 166822 libghc-dimensional-prof_0.13.0.2-3_amd64.deb 07-Dec-2015 18:06 84516