/usr/share/doc/libz3-4/

name size date owner mode

.. <dir> --.--.---- . --- --- ---
changelog.Debian.gz 2.36kb 01.02.2023 root rw- r-- r--
changelog.gz 16.46kb 13.07.2021 root rw- r-- r--
copyright 2.23kb 01.02.2023 root rw- r-- r--

/usr/share/doc/libz3-4/

name size date owner mode

.. <dir> --.--.---- . --- --- ---
changelog.Debian.gz 2.36kb 01.02.2023 root rw- r-- r--
changelog.gz 16.46kb 13.07.2021 root rw- r-- r--
copyright 2.23kb 01.02.2023 root rw- r-- r--