Tue, 17 Dec 2024 03:57:20 UTC | login

Information for file /usr/lib64/ghc-8.4.4/resource-pool-0.2.3.2/Data/Pool.hi

Name/usr/lib64/ghc-8.4.4/resource-pool-0.2.3.2/Data/Pool.hi
Digest (sha256)3554bf1a491b23ee7e9408d9d3c203d8e1c3a6ea3503fb65b06169b1df5e100f
Size37.51 KB
Modification timeSat, 23 Feb 2019 22:35:29 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMghc-resource-pool-devel-0.2.3.2-12.fc30.riscv64.rpm