../ libghc-numtype-dev_1.0-4_amd64.deb 25-May-2013 02:33 35036 libghc-numtype-dev_1.1-4_amd64.deb 05-Dec-2015 15:05 21692 libghc-numtype-doc_1.0-4_all.deb 25-May-2013 02:03 27488 libghc-numtype-doc_1.1-4_all.deb 05-Dec-2015 15:05 24292 libghc-numtype-prof_1.0-4_amd64.deb 25-May-2013 02:33 32944 libghc-numtype-prof_1.1-4_amd64.deb 05-Dec-2015 15:05 16568