/usr/share/doc/libgmp-dev/

name size date owner mode

.. <dir> --.--.---- . --- --- ---
AUTHORS 3.85kb 14.11.2020 root rw- r-- r--
NEWS.gz 13.17kb 14.11.2020 root rw- r-- r--
README 3.96kb 14.11.2020 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/libgmp-dev/

name size date owner mode

.. <dir> --.--.---- . --- --- ---
AUTHORS 3.85kb 14.11.2020 root rw- r-- r--
NEWS.gz 13.17kb 14.11.2020 root rw- r-- r--
README 3.96kb 14.11.2020 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--