/usr/share/doc/libgmpxx4ldbl/

name size date owner mode

.. <dir> --.--.---- . --- --- ---
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/libgmpxx4ldbl/

name size date owner mode

.. <dir> --.--.---- . --- --- ---
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--