../ libgmp-dev_6.1.2+dfsg-1_armhf.deb 31-Dec-2016 04:08 562584 libgmp10-doc_6.1.2+dfsg-1_all.deb 21-Dec-2016 00:27 172004 libgmp10_6.1.2+dfsg-1_armhf.deb 31-Dec-2016 04:08 188114 libgmp3-dev_6.1.2+dfsg-1_armhf.deb 31-Dec-2016 04:08 15150 libgmpxx4ldbl_6.1.2+dfsg-1_armhf.deb 31-Dec-2016 04:08 21502