Information for file /usr/share/man/man1/http_ping.1.gz
| Name | /usr/share/man/man1/http_ping.1.gz |
|---|---|
| Digest (sha256) | 09cc2d530a3e433af32ecdcd17a6f882fb7e3cbca6b9cb5707ce127d5c0e3e22 |
| Size | 1.40 KB |
| Modification time | Tue, 12 Jun 2018 21:41:18 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | http_ping-20050629-24.fc29.riscv64.rpm |
