Information for file /usr/share/doc/happy/examples/glr/common/DV_lhs
| Name | /usr/share/doc/happy/examples/glr/common/DV_lhs |
|---|---|
| Digest (sha256) | cf2bb34be84d686506c3684955d2d5bbd86d406bdd11f6647866af02fad6b0e5 |
| Size | 1.82 KB |
| Modification time | Sun, 04 Feb 2018 16:17:42 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | happy-1.19.9-5.fc31.riscv64.rpm |
