../ gmp-doc_5.0.5-1.diff.gz 02-Jun-2012 09:32 1820 gmp-doc_5.0.5-1.dsc 02-Jun-2012 09:32 1031 gmp-doc_5.0.5-1_all.deb 02-Jun-2012 09:32 922652 gmp-doc_5.0.5.orig.tar.gz 02-Jun-2012 09:32 398044 gmp-doc_5.1.2-1.diff.gz 24-May-2013 05:13 1863 gmp-doc_5.1.2-1.dsc 24-May-2013 05:13 1031 gmp-doc_5.1.2-1_all.deb 24-May-2013 05:13 919774 gmp-doc_5.1.2.orig.tar.gz 24-May-2013 05:13 392960