Information for file /usr/share/man/man1/ngramshrink.1.gz
Name | /usr/share/man/man1/ngramshrink.1.gz |
---|---|
Digest (sha256) | 79bd16ff4124c31495ab9337e6c18be1ba466b43677e5d7d792a684771b564ab |
Size | 1.38 KB |
Modification time | Tue, 01 Sep 2020 12:06:36 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags |
documentation |
RPM | opengrm-ngram-tools-1.3.4-11.fc33.riscv64.rpm |