../ libghc-numtype-dev_1.2-5+b2_amd64.deb 03-Dec-2018 17:55 44372 libghc-numtype-dev_1.2-5+b2_i386.deb 03-Dec-2018 16:39 42748 libghc-numtype-doc_1.2-5_all.deb 01-Oct-2018 01:10 50196 libghc-numtype-prof_1.2-5+b2_amd64.deb 03-Dec-2018 17:55 35956 libghc-numtype-prof_1.2-5+b2_i386.deb 03-Dec-2018 16:39 35476