Information for file /usr/lib64/ghc-8.10.7/include/rts/GetTime.h
Name | /usr/lib64/ghc-8.10.7/include/rts/GetTime.h |
---|---|
Digest (sha256) | c67fed01cd06c273fcba5df309be6c5e2d468c46ca5ccd21937351937e43c909 |
Size | 495.00 B |
Modification time | Thu, 27 Oct 2022 08:30:53 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | ghc-base-devel-4.14.3.0-121.1.riscv64.fc37.riscv64.rpm |