../ 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 901K gmp-doc_5.0.5.orig.tar.gz 02-Jun-2012 09:32 389K gmp-doc_6.0.0-1.diff.gz 26-Mar-2014 03:07 1890 gmp-doc_6.0.0-1.dsc 26-Mar-2014 03:07 1014 gmp-doc_6.0.0-1_all.deb 26-Mar-2014 03:07 925K gmp-doc_6.0.0.orig.tar.gz 26-Mar-2014 03:07 403K