../ gmp-doc_6.2.0+ndfsg-1.debian.tar.xz 07-Feb-2020 11:18 5716 gmp-doc_6.2.0+ndfsg-1.dsc 07-Feb-2020 11:18 2025 gmp-doc_6.2.0+ndfsg-1_all.deb 07-Feb-2020 11:23 1101844 gmp-doc_6.2.0+ndfsg.orig.tar.xz 07-Feb-2020 11:18 276332