../ gmp-doc_6.2.0+ndfsg-1.debian.tar.xz 07-Feb-2020 06:05 5716 gmp-doc_6.2.0+ndfsg-1.dsc 07-Feb-2020 06:05 2025 gmp-doc_6.2.0+ndfsg-1_all.deb 07-Feb-2020 06:05 1102012 gmp-doc_6.2.0+ndfsg.orig.tar.xz 07-Feb-2020 06:05 276332