../ gmp-doc_6.3.0+ndfsg-1.debian.tar.xz 13-Aug-2023 20:41 5812 gmp-doc_6.3.0+ndfsg-1.dsc 13-Aug-2023 20:41 2727 gmp-doc_6.3.0+ndfsg-1_all.deb 13-Aug-2023 20:41 1M gmp-doc_6.3.0+ndfsg.orig.tar.xz 13-Aug-2023 20:41 272K