../ gmp-doc_6.1.2-1.debian.tar.xz 14-Apr-2019 17:27 2296 gmp-doc_6.1.2-1.dsc 14-Apr-2019 17:27 2482 gmp-doc_6.1.2-1_all.deb 14-Apr-2019 17:27 927K gmp-doc_6.1.2.orig.tar.bz2 14-Apr-2019 17:27 325K