Mon, 02 Nov 2026 18:16:19 CST | login

Information for file /usr/share/doc/ghc/html/libraries/fingertree-0.1.5.0/src/Data.FingerTree.html

Name/usr/share/doc/ghc/html/libraries/fingertree-0.1.5.0/src/Data.FingerTree.html
Digest (sha256)201e3b43f4001788da533f988ec9cacfe146570d0ebd58f1ede11217db41d5cc
Size1.58 MB
Modification timeMon, 01 Sep 2025 23:11:56 CST
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-fingertree-doc-0.1.5.0-2.oc9.noarch.rpm