Information for file /usr/lib64/ghc-8.4.4/skylighting-0.6/Skylighting/Syntax/Agda.p_hi
| Name | /usr/lib64/ghc-8.4.4/skylighting-0.6/Skylighting/Syntax/Agda.p_hi |
|---|---|
| Digest (sha256) | 537a7dd25754b66284239ace3a27b14bdaabb33d615a39408ea44844b2abc933 |
| Size | 8.96 KB |
| Modification time | Thu, 28 Feb 2019 07:09:28 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | ghc-skylighting-devel-0.6-2.fc30.riscv64.rpm |
