Information for file /usr/share/doc/ghc/html/libraries/tagged-0.8.6/src/Data.Tagged.html
| Name | /usr/share/doc/ghc/html/libraries/tagged-0.8.6/src/Data.Tagged.html |
|---|---|
| Digest (sha256) | 2a393b43f39d107c2806fb0cc92aaadde60a3846763511e3f201da643bab3795 |
| Size | 172.06 KB |
| Modification time | Fri, 26 Jul 2019 10:59:14 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | ghc-tagged-devel-0.8.6-3.fc31.riscv64.rpm |
