Tue, 19 Nov 2024 01:16:12 UTC | login

Information for file /usr/share/doc/ghc/html/libraries/fingertree-0.1.5.0/meta.json

Name/usr/share/doc/ghc/html/libraries/fingertree-0.1.5.0/meta.json
Digest (sha256)430a0dc58b56b5fb879dbcc98f8d95e1b217ded44f234f05676263beccc3aaac
Size28.00 B
Modification timeThu, 22 Jun 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-fingertree-doc-0.1.5.0-5.rvre0.fc38.noarch.rpm