Fri, 23 Aug 2024 13:55:51 UTC | login

Information for file /usr/share/doc/ghc/html/libraries/vector-space-0.16/Data-AdditiveGroup.html

Name/usr/share/doc/ghc/html/libraries/vector-space-0.16/Data-AdditiveGroup.html
Digest (sha256)67021cebd0f6948cb14415f7f5ecd4e731b00b17c17be3cc1a82ea57d0a21131
Size68.53 KB
Modification timeTue, 01 Nov 2022 05:03:27 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-vector-space-doc-0.16-10.fc37.noarch.rpm