Information for file /usr/lib/ghc-8.2.2/case-insensitive-1.2.0.10/Data/CaseInsensitive.hi
Name | /usr/lib/ghc-8.2.2/case-insensitive-1.2.0.10/Data/CaseInsensitive.hi |
---|---|
Digest (sha256) | 4df529da3e32c2fee4d26e1599be374d6c1ab1273b157b5081b3d5e81b5d1767 |
Size | 3.12 KB |
Modification time | Tue, 27 Jul 2021 19:03:58 CST |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | ghc-case-insensitive-devel-1.2.0.10-2.el8.i686.rpm |