Wed, 20 Nov 2024 01:13:25 UTC | login

Information for file /usr/share/doc/ghc/html/libraries/resource-pool-0.2.3.2/meta.json

Name/usr/share/doc/ghc/html/libraries/resource-pool-0.2.3.2/meta.json
Digest (sha256)e3aea85350543a439dc586bb4496f070aa6746c8a860c088813753ae52370fca
Size28.00 B
Modification timeTue, 01 Nov 2022 01:51:25 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-resource-pool-doc-0.2.3.2-26.fc37.noarch.rpm