../ gmp-doc_6.1.2-1.debian.tar.xz 11-Apr-2022 11:03 2296 gmp-doc_6.1.2-1.dsc 11-Apr-2022 11:03 2482 gmp-doc_6.1.2-1_all.deb 11-Apr-2022 11:04 927K gmp-doc_6.1.2.orig.tar.bz2 11-Apr-2022 11:03 325K