Sat, 23 Nov 2024 15:21:29 UTC | login

Information for file /usr/src/debug/ghc-9.4.5-140.fc40.riscv64/rts/IOManager.h

Name/usr/src/debug/ghc-9.4.5-140.fc40.riscv64/rts/IOManager.h
Digest (sha256)1f86c871b571071afd9b8852f677358fb8ddf853a307d0a62f04d9b74e9e33c9
Size2.72 KB
Modification timeSun, 16 Apr 2023 17:54:20 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMghc-debugsource-9.4.5-140.fc40.riscv64.rpm