Information for file /usr/share/man/man3/JHSI.3.gz
Name | /usr/share/man/man3/JHSI.3.gz |
---|---|
Digest (sha256) | f1d5fbb894cba385327fdfd6542992b5f12e73742bd700ecbcc87dc06d9dde3f |
Size | 2.44 KB |
Modification time | Wed, 24 Jul 2019 06:24:27 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags |
documentation |
RPM | Judy-devel-1.0.5-20.fc31.riscv64.rpm |