/usr/share/doc/libgmp10/

name size date owner mode

.. <dir> --.--.---- . --- --- ---
README.Debian 334b 12.06.2022 root rw- r-- r--
changelog.Debian.gz 14.23kb 22.09.2022 root rw- r-- r--
changelog.gz 305.71kb 14.11.2020 root rw- r-- r--
copyright 4.06kb 12.06.2022 root rw- r-- r--

/usr/share/doc/libgmp10/

name size date owner mode

.. <dir> --.--.---- . --- --- ---
README.Debian 334b 12.06.2022 root rw- r-- r--
changelog.Debian.gz 14.23kb 22.09.2022 root rw- r-- r--
changelog.gz 305.71kb 14.11.2020 root rw- r-- r--
copyright 4.06kb 12.06.2022 root rw- r-- r--