../ 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.2.1+ndfsg-1_all.deb 16-Nov-2020 20:32 1M