Information for file /usr/lib64/ghc-8.10.7/turtle-1.5.24/Turtle/Options.hi
| Name | /usr/lib64/ghc-8.10.7/turtle-1.5.24/Turtle/Options.hi |
|---|---|
| Digest (sha256) | 0f4dcc0993be65c79af355587ee864b44c4a5ad4915eaaa77492b21f3555c727 |
| Size | 24.33 KB |
| Modification time | Tue, 01 Nov 2022 15:22:45 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | ghc-turtle-devel-1.5.24-2.fc37.riscv64.rpm |
