Information for file /usr/share/doc/ghc/html/libraries/tagged-0.8.6/Data-Tagged.html
Name | /usr/share/doc/ghc/html/libraries/tagged-0.8.6/Data-Tagged.html |
---|---|
Digest (sha256) | 5207d5f6d0643ca7735726d9e4d021e818d80cf43ac3563ca4b0a46161bd00ae |
Size | 127.93 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 |