../ gmp-doc_6.0.0-1.diff.gz 26-Mar-2014 03:07 1890 gmp-doc_6.0.0-1.dsc 26-Mar-2014 03:07 1014 gmp-doc_6.0.0-1_all.deb 26-Mar-2014 03:07 947014 gmp-doc_6.0.0.orig.tar.gz 26-Mar-2014 03:07 412248 gmp-doc_6.1.2-1.debian.tar.xz 19-Apr-2019 06:00 2296 gmp-doc_6.1.2-1.dsc 19-Apr-2019 06:00 2482 gmp-doc_6.1.2-1_all.deb 19-Apr-2019 06:00 949408 gmp-doc_6.1.2.orig.tar.bz2 19-Apr-2019 06:00 333198