../ gmp-doc_6.3.0+ndfsg-1.debian.tar.xz 14-Aug-2023 05:09 5812 gmp-doc_6.3.0+ndfsg-1.dsc 14-Aug-2023 05:09 2727 gmp-doc_6.3.0+ndfsg-1_all.deb 14-Aug-2023 05:39 1116420 gmp-doc_6.3.0+ndfsg.orig.tar.xz 14-Aug-2023 05:09 278428